user=mdettweiler [2012-12-19 00:02:01] 609*2^1237643-1 is not prime. Res64: 7D63C5602880DEC4 Time : 0.0 sec. user=mdettweiler [2012-12-19 00:02:02] 643*2^1237643-1 is not prime. Res64: 38D5DAB32A964F6B Time : 0.0 sec. user=mdettweiler [2012-12-19 00:13:36] 889*2^1237643-1 is not prime. Res64: ABF847F445B2BA3F Time : 0.0 sec. user=mdettweiler [2012-12-19 00:13:37] 675*2^1237644-1 is not prime. Res64: F4B60E9CDE1759F8 Time : 0.0 sec. user=mdettweiler [2012-12-19 00:19:26] 717*2^1237644-1 is not prime. Res64: 7DC23FB20136D3E4 Time : 0.0 sec. user=mdettweiler [2012-12-19 00:19:27] 753*2^1237644-1 is not prime. Res64: E74E05E5A2BB54E2 Time : 0.0 sec. user=mdettweiler [2012-12-19 00:31:28] 795*2^1237644-1 is not prime. Res64: C67E73FEC76A646D Time : 0.0 sec. user=mdettweiler [2012-12-19 00:31:29] 927*2^1237644-1 is not prime. Res64: 2175D19BAD0C87BC Time : 0.0 sec. user=mdettweiler [2012-12-19 00:37:20] 721*2^1237645-1 is not prime. Res64: A99C229C03B7A55A Time : 0.0 sec. user=mdettweiler [2012-12-19 00:37:21] 819*2^1237645-1 is not prime. Res64: FEAB1420000BFAF4 Time : 0.0 sec. user=mdettweiler [2012-12-19 00:48:56] 831*2^1237645-1 is not prime. Res64: 0355D029E14DB8F5 Time : 0.0 sec. user=mdettweiler [2012-12-19 00:48:56] 987*2^1237645-1 is not prime. Res64: A0864D2FEB25699D Time : 0.0 sec. user=mdettweiler [2012-12-19 00:54:46] 641*2^1237646-1 is not prime. Res64: 1CE2CC575A6768F7 Time : 0.0 sec. user=mdettweiler [2012-12-19 00:54:46] 663*2^1237646-1 is not prime. Res64: 1E037DAA45C45F83 Time : 0.0 sec. user=mdettweiler [2012-12-19 01:06:19] 795*2^1237646-1 is not prime. Res64: 18773410E8FA5E16 Time : 0.0 sec. user=mdettweiler [2012-12-19 01:06:20] 857*2^1237646-1 is not prime. Res64: 38878B0A92B8DA74 Time : 0.0 sec. user=mdettweiler [2012-12-19 01:12:09] 867*2^1237646-1 is not prime. Res64: DFAE6C3FFA0C8A01 Time : 0.0 sec. user=mdettweiler [2012-12-19 01:12:09] 941*2^1237646-1 is not prime. Res64: D73D4BAE0D77A5ED Time : 0.0 sec. user=mdettweiler [2012-12-19 01:23:52] 957*2^1237646-1 is not prime. Res64: B7CF1E37867C0658 Time : 0.0 sec. user=mdettweiler [2012-12-19 01:23:52] 1001*2^1237646-1 is not prime. Res64: 43436BE50DBF44FF Time : 0.0 sec. user=mdettweiler [2012-12-19 01:29:33] 693*2^1237647-1 is not prime. Res64: 9E87460F2FF765C1 Time : 0.0 sec. user=mdettweiler [2012-12-19 01:29:33] 819*2^1237647-1 is not prime. Res64: EAE6333ACE39CA3B Time : 0.0 sec. user=mdettweiler [2012-12-19 01:41:15] 823*2^1237647-1 is not prime. Res64: 39CB7AF3C343A7A0 Time : 0.0 sec. user=mdettweiler [2012-12-19 01:41:15] 859*2^1237647-1 is not prime. Res64: 7CCD1786BDC1432D Time : 0.0 sec. user=mdettweiler [2012-12-19 01:46:57] 931*2^1237647-1 is not prime. Res64: F62BE2ED81568D09 Time : 0.0 sec. user=mdettweiler [2012-12-19 01:46:58] 949*2^1237647-1 is not prime. Res64: 60A3263989AA90AE Time : 0.0 sec. user=mdettweiler [2012-12-19 01:58:38] 961*2^1237647-1 is not prime. Res64: F355D2119EDCD32E Time : 0.0 sec. user=mdettweiler [2012-12-19 01:58:39] 963*2^1237647-1 is not prime. Res64: 47FA7DD62047F4AE Time : 0.0 sec. user=mdettweiler [2012-12-19 02:04:21] 665*2^1237648-1 is not prime. Res64: 4140AFC268C0069E Time : 0.0 sec. user=mdettweiler [2012-12-19 02:04:23] 707*2^1237648-1 is not prime. Res64: 2C07243EB4E3CE19 Time : 0.0 sec. user=mdettweiler [2012-12-19 02:16:02] 755*2^1237648-1 is not prime. Res64: 5A3A4D7374DCF805 Time : 0.0 sec. user=mdettweiler [2012-12-19 02:16:04] 843*2^1237648-1 is not prime. Res64: 8DF00FB6BDBE26EF Time : 0.0 sec. user=mdettweiler [2012-12-19 02:21:49] 887*2^1237648-1 is not prime. Res64: A9DBF0E71D6C8960 Time : 0.0 sec. user=mdettweiler [2012-12-19 02:21:50] 927*2^1237648-1 is not prime. Res64: 92039AEE149098A8 Time : 0.0 sec. user=mdettweiler [2012-12-19 02:33:37] 995*2^1237648-1 is not prime. Res64: 2F09CF55ED421D43 Time : 0.0 sec. user=mdettweiler [2012-12-19 02:33:38] 615*2^1237649-1 is not prime. Res64: 4AEC7F5197E12873 Time : 0.0 sec. user=mdettweiler [2012-12-19 02:39:17] 771*2^1237649-1 is not prime. Res64: 210729CC6CF06A61 Time : 0.0 sec. user=mdettweiler [2012-12-19 02:39:18] 829*2^1237649-1 is not prime. Res64: D9F824EE7A54EDCF Time : 0.0 sec. user=mdettweiler [2012-12-19 02:51:05] 841*2^1237649-1 is not prime. Res64: 677091714DE5F582 Time : 0.0 sec. user=mdettweiler [2012-12-19 02:51:06] 847*2^1237649-1 is not prime. Res64: 3AFF4E28127F8428 Time : 0.0 sec. user=mdettweiler [2012-12-19 02:56:44] 867*2^1237649-1 is not prime. Res64: E59C795CF4E32E9A Time : 0.0 sec. user=mdettweiler [2012-12-19 02:56:45] 885*2^1237649-1 is not prime. Res64: 6A2AE2026FC68E18 Time : 0.0 sec. user=mdettweiler [2012-12-19 03:08:48] 931*2^1237649-1 is not prime. Res64: 93AA3392D7A61E72 Time : 0.0 sec. user=mdettweiler [2012-12-19 03:08:48] 955*2^1237649-1 is not prime. Res64: 5318D23E73E1AAEE Time : 0.0 sec. user=mdettweiler [2012-12-19 03:14:11] 651*2^1237650-1 is not prime. Res64: E885D890ABF15C97 Time : 0.0 sec. user=mdettweiler [2012-12-19 03:14:12] 717*2^1237650-1 is not prime. Res64: 7CEB7AF48B58F4E4 Time : 0.0 sec. user=mdettweiler [2012-12-19 03:26:16] 741*2^1237650-1 is not prime. Res64: 4C4E392A5EE46980 Time : 0.0 sec. user=mdettweiler [2012-12-19 03:26:16] 765*2^1237650-1 is not prime. Res64: A32B734A7782818B Time : 0.0 sec. user=mdettweiler [2012-12-19 03:31:38] 845*2^1237650-1 is not prime. Res64: 124EE1C1747B0628 Time : 0.0 sec. user=mdettweiler [2012-12-19 03:31:41] 625*2^1237651-1 is not prime. Res64: 4C631F413A777A09 Time : 0.0 sec. user=mdettweiler [2012-12-19 03:43:40] 649*2^1237651-1 is not prime. Res64: 83FD2A296EC447CD Time : 0.0 sec. user=mdettweiler [2012-12-19 03:43:42] 651*2^1237651-1 is not prime. Res64: 9CA48C3451C43FA8 Time : 0.0 sec. user=mdettweiler [2012-12-19 03:49:13] 811*2^1237651-1 is not prime. Res64: 08E24B0D5949FD4F Time : 0.0 sec. user=mdettweiler [2012-12-19 03:49:13] 871*2^1237651-1 is not prime. Res64: 4B999A729CDE5FEA Time : 0.0 sec. user=mdettweiler [2012-12-19 04:01:14] 913*2^1237651-1 is not prime. Res64: 0DDFEBBEE7ED3B79 Time : 0.0 sec. user=mdettweiler [2012-12-19 04:01:15] 961*2^1237651-1 is not prime. Res64: 13D3538F2FD85FD1 Time : 0.0 sec. user=mdettweiler [2012-12-19 04:06:37] 785*2^1237652-1 is not prime. Res64: 90CE2915B0384FB3 Time : 0.0 sec. user=mdettweiler [2012-12-19 04:06:38] 843*2^1237652-1 is not prime. Res64: 8BB5CC05434CC54F Time : 0.0 sec. user=mdettweiler [2012-12-19 04:18:54] 903*2^1237652-1 is not prime. Res64: 8C1D5C7785927215 Time : 0.0 sec. user=mdettweiler [2012-12-19 04:18:54] 945*2^1237652-1 is not prime. Res64: 5F348698B0EBC920 Time : 0.0 sec. user=mdettweiler [2012-12-19 04:24:14] 959*2^1237652-1 is not prime. Res64: 47504BBD7A6D2D66 Time : 0.0 sec. user=mdettweiler [2012-12-19 04:24:14] 615*2^1237653-1 is not prime. Res64: 360C85DF75225445 Time : 0.0 sec. user=mdettweiler [2012-12-19 04:36:22] 621*2^1237653-1 is not prime. Res64: 0B240F027924B31F Time : 0.0 sec. user=mdettweiler [2012-12-19 04:36:23] 627*2^1237653-1 is not prime. Res64: 5A27DFC4CB2F589A Time : 0.0 sec. user=mdettweiler [2012-12-19 04:41:39] 747*2^1237653-1 is not prime. Res64: 5A704C3DE23E09C2 Time : 0.0 sec. user=mdettweiler [2012-12-19 04:41:39] 781*2^1237653-1 is not prime. Res64: 1EE423FF3D015DD1 Time : 0.0 sec. user=mdettweiler [2012-12-19 04:53:52] 811*2^1237653-1 is not prime. Res64: 5FEA33585CCBB796 Time : 0.0 sec. user=mdettweiler [2012-12-19 04:53:52] 837*2^1237653-1 is not prime. Res64: D7EEE9330A5EE07F Time : 0.0 sec. user=mdettweiler [2012-12-19 04:59:03] 895*2^1237653-1 is not prime. Res64: DADC346B7CB5C51D Time : 0.0 sec. user=mdettweiler [2012-12-19 04:59:03] 605*2^1237654-1 is not prime. Res64: 0BD2B917B6FE0E81 Time : 0.0 sec. user=mdettweiler [2012-12-19 05:11:20] 611*2^1237654-1 is not prime. Res64: BA598E46DA5091FF Time : 0.0 sec. user=mdettweiler [2012-12-19 05:11:21] 651*2^1237654-1 is not prime. Res64: 4C0F0690B8650632 Time : 0.0 sec. user=mdettweiler [2012-12-19 05:16:27] 707*2^1237654-1 is not prime. Res64: 065CB452249AEA47 Time : 0.0 sec. user=mdettweiler [2012-12-19 05:16:28] 827*2^1237654-1 is not prime. Res64: 2FAD53EE02884600 Time : 0.0 sec. user=mdettweiler [2012-12-19 05:28:50] 915*2^1237654-1 is not prime. Res64: 6AA82FEF4B6D8CC2 Time : 0.0 sec. user=mdettweiler [2012-12-19 05:28:51] 975*2^1237654-1 is not prime. Res64: AA4314A0B7C41020 Time : 0.0 sec. user=mdettweiler [2012-12-19 05:33:52] 981*2^1237654-1 is not prime. Res64: 3AFDD81C305FF743 Time : 0.0 sec. user=mdettweiler [2012-12-19 05:33:53] 721*2^1237655-1 is not prime. Res64: 41336714E5DD84DE Time : 0.0 sec. user=mdettweiler [2012-12-19 05:46:14] 805*2^1237655-1 is not prime. Res64: 3F9C690AA1B80C28 Time : 0.0 sec. user=mdettweiler [2012-12-19 05:46:15] 969*2^1237655-1 is not prime. Res64: 0EE3403151D0EEB6 Time : 0.0 sec. user=mdettweiler [2012-12-19 05:51:16] 981*2^1237655-1 is not prime. Res64: 3151821DCD4761DA Time : 0.0 sec. user=mdettweiler [2012-12-19 05:51:17] 633*2^1237656-1 is not prime. Res64: 3511E6E07076C875 Time : 0.0 sec. user=mdettweiler [2012-12-19 06:03:39] 683*2^1237656-1 is not prime. Res64: 34DDEDD915707F50 Time : 0.0 sec. user=mdettweiler [2012-12-19 06:03:41] 837*2^1237656-1 is not prime. Res64: B6CB55D5168DD3E3 Time : 0.0 sec. user=mdettweiler [2012-12-19 06:08:40] 933*2^1237656-1 is not prime. Res64: 8D96A63C897B50BE Time : 0.0 sec. user=mdettweiler [2012-12-19 06:08:40] 607*2^1237657-1 is not prime. Res64: 9AD73A91E3BB019D Time : 0.0 sec. user=mdettweiler [2012-12-19 06:21:10] 619*2^1237657-1 is not prime. Res64: B5F59FB0060F6608 Time : 0.0 sec. user=mdettweiler [2012-12-19 06:21:10] 639*2^1237657-1 is not prime. Res64: 6F9125A053E1D8A3 Time : 0.0 sec. user=mdettweiler [2012-12-19 06:26:05] 687*2^1237657-1 is not prime. Res64: B0CED773D0A99600 Time : 0.0 sec. user=mdettweiler [2012-12-19 06:26:05] 775*2^1237657-1 is not prime. Res64: 228BC243BCE421E2 Time : 0.0 sec. user=mdettweiler [2012-12-19 06:38:36] 945*2^1237657-1 is not prime. Res64: DBEE8FEAF1CE6381 Time : 0.0 sec. user=mdettweiler [2012-12-19 06:38:37] 651*2^1237658-1 is not prime. Res64: 95001381844A82A4 Time : 0.0 sec. user=mdettweiler [2012-12-19 06:43:28] 671*2^1237658-1 is not prime. Res64: C99153BDDC034357 Time : 0.0 sec. user=mdettweiler [2012-12-19 06:43:29] 677*2^1237658-1 is not prime. Res64: 7EB79A6E5A469C6B Time : 0.0 sec. user=mdettweiler [2012-12-19 06:56:00] 705*2^1237658-1 is not prime. Res64: BB4B18DCB19BB7F3 Time : 0.0 sec. user=mdettweiler [2012-12-19 06:56:01] 815*2^1237658-1 is not prime. Res64: C3BE426CE397054E Time : 0.0 sec. user=mdettweiler [2012-12-19 07:00:53] 825*2^1237658-1 is not prime. Res64: 5DAFDAFBF7DD8651 Time : 0.0 sec. user=mdettweiler [2012-12-19 07:00:54] 935*2^1237658-1 is not prime. Res64: EEB6D6EE9A033136 Time : 0.0 sec. user=mdettweiler [2012-12-19 07:13:25] 987*2^1237658-1 is not prime. Res64: A7FFC66B823D69B0 Time : 0.0 sec. user=mdettweiler [2012-12-19 07:13:26] 1001*2^1237658-1 is not prime. Res64: 72245D797F26A547 Time : 0.0 sec. user=mdettweiler [2012-12-19 07:18:19] 633*2^1237659-1 is not prime. Res64: C6A7E55CACEAE8C5 Time : 0.0 sec. user=mdettweiler [2012-12-19 07:18:20] 669*2^1237659-1 is not prime. Res64: 3BECF72450AE95E0 Time : 0.0 sec. user=mdettweiler [2012-12-19 07:30:59] 721*2^1237659-1 is not prime. Res64: 71F4F9A40736EB26 Time : 0.0 sec. user=mdettweiler [2012-12-19 07:30:59] 695*2^1237660-1 is not prime. Res64: 5A83D1CD03B9B411 Time : 0.0 sec. user=mdettweiler [2012-12-19 07:35:43] 797*2^1237660-1 is not prime. Res64: F312567DAFEB0487 Time : 0.0 sec. user=mdettweiler [2012-12-19 07:35:44] 923*2^1237660-1 is not prime. Res64: B4959C68EE7EEBF4 Time : 0.0 sec. user=mdettweiler [2012-12-19 07:48:25] 927*2^1237660-1 is not prime. Res64: CAD7101D2BC509EE Time : 0.0 sec. user=mdettweiler [2012-12-19 07:48:25] 983*2^1237660-1 is not prime. Res64: 335BACB510777D17 Time : 0.0 sec. user=mdettweiler [2012-12-19 07:53:07] 745*2^1237661-1 is not prime. Res64: 39B8FF6EB4F6D37B Time : 0.0 sec. user=mdettweiler [2012-12-19 07:53:08] 795*2^1237661-1 is not prime. Res64: B9815CB1E4180DF9 Time : 0.0 sec. user=mdettweiler [2012-12-19 08:05:49] 859*2^1237661-1 is not prime. Res64: A80B4770919F5DA7 Time : 0.0 sec. user=mdettweiler [2012-12-19 08:05:50] 871*2^1237661-1 is not prime. Res64: D10F0E7DC66A59D0 Time : 0.0 sec. user=mdettweiler [2012-12-19 08:10:31] 879*2^1237661-1 is not prime. Res64: 3BC4778B382F5773 Time : 0.0 sec. user=mdettweiler [2012-12-19 08:10:32] 693*2^1237662-1 is not prime. Res64: 11E8F64A5E34465F Time : 0.0 sec. user=mdettweiler [2012-12-19 08:23:24] 705*2^1237662-1 is not prime. Res64: 9F997E741098C371 Time : 0.0 sec. user=mdettweiler [2012-12-19 08:23:25] 807*2^1237662-1 is not prime. Res64: 229F815A0BE3A068 Time : 0.0 sec. user=mdettweiler [2012-12-19 08:28:02] 867*2^1237662-1 is not prime. Res64: 4E81261CC62EBA92 Time : 0.0 sec. user=mdettweiler [2012-12-19 08:28:02] 917*2^1237662-1 is not prime. Res64: 3E68D21C9DA32491 Time : 0.0 sec. user=mdettweiler [2012-12-19 08:40:49] 947*2^1237662-1 is not prime. Res64: B244C212611ED64C Time : 0.0 sec. user=mdettweiler [2012-12-19 08:40:49] 681*2^1237663-1 is not prime. Res64: 14CADC030A0ED8F1 Time : 0.0 sec. user=mdettweiler [2012-12-19 08:45:25] 705*2^1237663-1 is not prime. Res64: 3B07B94A70E65B2A Time : 0.0 sec. user=mdettweiler [2012-12-19 08:45:26] 729*2^1237663-1 is not prime. Res64: 853A0257193A9821 Time : 0.0 sec. user=mdettweiler [2012-12-19 08:58:13] 741*2^1237663-1 is not prime. Res64: 2E07CB795154A734 Time : 0.0 sec. user=mdettweiler [2012-12-19 08:58:13] 765*2^1237663-1 is not prime. Res64: 2269CA260437E91F Time : 0.0 sec. user=mdettweiler [2012-12-19 09:02:49] 769*2^1237663-1 is not prime. Res64: E47958F7BF466EF5 Time : 0.0 sec. user=mdettweiler [2012-12-19 09:02:51] 883*2^1237663-1 is not prime. Res64: 18850FFE8C4F4269 Time : 0.0 sec. user=mdettweiler [2012-12-19 09:15:38] 999*2^1237663-1 is not prime. Res64: 9E4EC9725CB9A2ED Time : 0.0 sec. user=mdettweiler [2012-12-19 09:15:38] 927*2^1237664-1 is not prime. Res64: 33F55F15941F85BF Time : 0.0 sec. user=mdettweiler [2012-12-19 09:20:17] 609*2^1237665-1 is not prime. Res64: C0CB545758E99706 Time : 0.0 sec. user=mdettweiler [2012-12-19 09:20:17] 705*2^1237665-1 is not prime. Res64: 1432DCA73FDE8EB1 Time : 0.0 sec. user=mdettweiler [2012-12-19 09:33:04] 711*2^1237665-1 is not prime. Res64: 4664BCD3B23C0DA5 Time : 0.0 sec. user=mdettweiler [2012-12-19 09:33:05] 717*2^1237665-1 is not prime. Res64: 578D405425B54B59 Time : 0.0 sec. user=mdettweiler [2012-12-19 09:37:41] 787*2^1237665-1 is not prime. Res64: 3E855E8A4AE49AC3 Time : 0.0 sec. user=mdettweiler [2012-12-19 09:37:42] 805*2^1237665-1 is not prime. Res64: A5AC090C08BB3D94 Time : 0.0 sec. user=mdettweiler [2012-12-19 09:50:32] 705*2^1237666-1 is not prime. Res64: 3BF25793D3168D33 Time : 0.0 sec. user=mdettweiler [2012-12-19 09:50:33] 713*2^1237666-1 is not prime. Res64: CFF81F0CA0FD2134 Time : 0.0 sec. user=mdettweiler [2012-12-19 09:55:06] 843*2^1237666-1 is not prime. Res64: 89F68047F1D6E06B Time : 0.0 sec. user=mdettweiler [2012-12-19 09:55:06] 887*2^1237666-1 is not prime. Res64: B371B7B55A8EFD3D Time : 0.0 sec. user=mdettweiler [2012-12-19 10:07:57] 923*2^1237666-1 is not prime. Res64: 0BA2E64C4CBC880F Time : 0.0 sec. user=mdettweiler [2012-12-19 10:07:58] 945*2^1237666-1 is not prime. Res64: F130F7367CFC6F36 Time : 0.0 sec. user=mdettweiler [2012-12-19 10:12:30] 993*2^1237666-1 is not prime. Res64: 46D63867131C20C2 Time : 0.0 sec. user=mdettweiler [2012-12-19 10:12:30] 609*2^1237667-1 is not prime. Res64: 3E765AC81C913577 Time : 0.0 sec. user=mdettweiler [2012-12-19 10:25:27] 615*2^1237667-1 is not prime. Res64: 6E1FF110F6D132F9 Time : 0.0 sec. user=mdettweiler [2012-12-19 10:25:28] 669*2^1237667-1 is not prime. Res64: 187DC92ACE71D515 Time : 0.0 sec. user=mdettweiler [2012-12-19 10:29:57] 685*2^1237667-1 is not prime. Res64: 5EDA9F90FC434934 Time : 0.0 sec. user=mdettweiler [2012-12-19 10:29:57] 703*2^1237667-1 is not prime. Res64: 6B8A22F3D3F756C8 Time : 0.0 sec. user=mdettweiler [2012-12-19 10:42:54] 711*2^1237667-1 is not prime. Res64: 9AB5E2F9105E32DA Time : 0.0 sec. user=mdettweiler [2012-12-19 10:42:54] 741*2^1237667-1 is not prime. Res64: F3EB0E41B776277F Time : 0.0 sec. user=mdettweiler [2012-12-19 10:47:22] 823*2^1237667-1 is not prime. Res64: 41712527571A1E9C Time : 0.0 sec. user=mdettweiler [2012-12-19 10:47:22] 859*2^1237667-1 is not prime. Res64: 4ED3326C0E040F76 Time : 0.0 sec. user=mdettweiler [2012-12-19 11:00:18] 871*2^1237667-1 is not prime. Res64: E506254F50AC41FA Time : 0.0 sec. user=mdettweiler [2012-12-19 11:00:19] 985*2^1237667-1 is not prime. Res64: C4854AE6951D20D5 Time : 0.0 sec. user=mdettweiler [2012-12-19 11:04:47] 669*2^1237668-1 is not prime. Res64: 5873D60882D7BB39 Time : 0.0 sec. user=mdettweiler [2012-12-19 11:04:49] 749*2^1237668-1 is not prime. Res64: 72B480588A928C0F Time : 0.0 sec. user=mdettweiler [2012-12-19 11:17:48] 759*2^1237668-1 is not prime. Res64: 5377B744076DA860 Time : 0.0 sec. user=mdettweiler [2012-12-19 11:17:49] 959*2^1237668-1 is not prime. Res64: ED35065140E692A5 Time : 0.0 sec. user=mdettweiler [2012-12-19 11:22:19] 771*2^1237669-1 is not prime. Res64: 0790FDD984FDCEB8 Time : 0.0 sec. user=mdettweiler [2012-12-19 11:22:19] 799*2^1237669-1 is not prime. Res64: 48E251763630AFE5 Time : 0.0 sec. user=mdettweiler [2012-12-19 11:35:12] 817*2^1237669-1 is not prime. Res64: F7DFD01E626E85E9 Time : 0.0 sec. user=mdettweiler [2012-12-19 11:35:12] 825*2^1237669-1 is not prime. Res64: 90144C051382A62F Time : 0.0 sec. user=mdettweiler [2012-12-19 11:39:43] 861*2^1237669-1 is not prime. Res64: 7AE3B13456195D4E Time : 0.0 sec. user=mdettweiler [2012-12-19 11:39:44] 957*2^1237669-1 is not prime. Res64: BCEB42F560300286 Time : 0.0 sec. user=mdettweiler [2012-12-19 11:52:33] 967*2^1237669-1 is not prime. Res64: 536220FB67D356CE Time : 0.0 sec. user=mdettweiler [2012-12-19 11:52:33] 985*2^1237669-1 is not prime. Res64: FF22D87C12E4F6E1 Time : 0.0 sec. user=mdettweiler [2012-12-19 11:57:04] 845*2^1237670-1 is not prime. Res64: 536501726694D92A Time : 0.0 sec. user=mdettweiler [2012-12-19 11:57:04] 867*2^1237670-1 is not prime. Res64: D25D5EA09ED939DD Time : 0.0 sec. user=mdettweiler [2012-12-19 12:10:02] 923*2^1237670-1 is not prime. Res64: 5D17B9FB86374E1A Time : 0.0 sec. user=mdettweiler [2012-12-19 12:10:03] 981*2^1237670-1 is not prime. Res64: 579BD9CB0F0245B4 Time : 0.0 sec. user=mdettweiler [2012-12-19 12:14:35] 661*2^1237671-1 is not prime. Res64: 28B60BAD9ADE5CA7 Time : 0.0 sec. user=mdettweiler [2012-12-19 12:14:35] 781*2^1237671-1 is not prime. Res64: DB9E3FC9E84B1E8B Time : 0.0 sec. user=mdettweiler [2012-12-19 12:27:53] 951*2^1237671-1 is not prime. Res64: CEBC0AC5912FD4B7 Time : 0.0 sec. user=mdettweiler [2012-12-19 12:27:54] 605*2^1237672-1 is not prime. Res64: E7B4F4C28EE67B08 Time : 0.0 sec. user=mdettweiler [2012-12-19 12:32:23] 653*2^1237672-1 is not prime. Res64: 01DC66AC4DD34FB6 Time : 0.0 sec. user=mdettweiler [2012-12-19 12:32:23] 687*2^1237672-1 is not prime. Res64: 2C1AF6CFCFD72B41 Time : 0.0 sec. user=mdettweiler [2012-12-19 12:45:21] 705*2^1237672-1 is not prime. Res64: 9EB0B3DBF8F6097A Time : 0.0 sec. user=mdettweiler [2012-12-19 12:45:22] 803*2^1237672-1 is not prime. Res64: 01E88B049C4F5E57 Time : 0.0 sec. user=mdettweiler [2012-12-19 12:49:47] 813*2^1237672-1 is not prime. Res64: 0701BB2BCB643145 Time : 0.0 sec. user=mdettweiler [2012-12-19 12:49:48] 825*2^1237672-1 is not prime. Res64: 5BEA0C5489897D10 Time : 0.0 sec. user=mdettweiler [2012-12-19 13:02:45] 729*2^1237673-1 is not prime. Res64: D99E5934EF9E472B Time : 0.0 sec. user=mdettweiler [2012-12-19 13:02:46] 771*2^1237673-1 is not prime. Res64: 26C06C2CA6D92BC5 Time : 0.0 sec. user=mdettweiler [2012-12-19 13:07:08] 925*2^1237673-1 is not prime. Res64: 195C43E59FB6B23D Time : 0.0 sec. user=mdettweiler [2012-12-19 13:07:09] 985*2^1237673-1 is not prime. Res64: 1CEE13E0BBD81FDA Time : 0.0 sec. user=mdettweiler [2012-12-19 13:20:37] 677*2^1237674-1 is not prime. Res64: B7C462A64CB615CB Time : 0.0 sec. user=mdettweiler [2012-12-19 13:20:37] 681*2^1237674-1 is not prime. Res64: 012D0DC6E9BC05D3 Time : 0.0 sec. user=mdettweiler [2012-12-19 13:25:07] 887*2^1237674-1 is not prime. Res64: CA6C778170021239 Time : 0.0 sec. user=mdettweiler [2012-12-19 13:25:07] 923*2^1237674-1 is not prime. Res64: 61D3CEFA38409328 Time : 0.0 sec. user=mdettweiler [2012-12-19 13:38:20] 975*2^1237674-1 is not prime. Res64: EC85CBF297E44766 Time : 0.0 sec. user=mdettweiler [2012-12-19 13:38:21] 1001*2^1237674-1 is not prime. Res64: 8167353A3ACC0756 Time : 0.0 sec. user=mdettweiler [2012-12-19 13:42:51] 649*2^1237675-1 is not prime. Res64: 02595681213D057A Time : 0.0 sec. user=mdettweiler [2012-12-19 13:42:51] 679*2^1237675-1 is not prime. Res64: 236C6D6A6D2B6D3E Time : 0.0 sec. user=mdettweiler [2012-12-19 13:56:05] 775*2^1237675-1 is not prime. Res64: 9F506B566B8EF8B7 Time : 0.0 sec. user=mdettweiler [2012-12-19 13:56:05] 793*2^1237675-1 is not prime. Res64: 1D42DB2F039EC9EE Time : 0.0 sec. user=mdettweiler [2012-12-19 14:00:34] 961*2^1237675-1 is not prime. Res64: BC94C91115BA79EE Time : 0.0 sec. user=mdettweiler [2012-12-19 14:00:35] 669*2^1237676-1 is not prime. Res64: DEBD63A1C19FD743 Time : 0.0 sec. user=mdettweiler [2012-12-19 14:13:37] 683*2^1237676-1 is not prime. Res64: 8AAAA21E6CFCE486 Time : 0.0 sec. user=mdettweiler [2012-12-19 14:13:38] 755*2^1237676-1 is not prime. Res64: 01B93BE92D5B6F5D Time : 0.0 sec. user=mdettweiler [2012-12-19 14:18:03] 825*2^1237676-1 is not prime. Res64: 0FD2B06EFB5B0415 Time : 0.0 sec. user=mdettweiler [2012-12-19 14:18:04] 837*2^1237676-1 is not prime. Res64: 796F0E0B0F528A1C Time : 0.0 sec. user=mdettweiler [2012-12-19 14:31:06] 893*2^1237676-1 is not prime. Res64: A2BDBA6BF9FB83F2 Time : 0.0 sec. user=mdettweiler [2012-12-19 14:31:06] 963*2^1237676-1 is not prime. Res64: 2ACD907FBB77AF33 Time : 0.0 sec. user=mdettweiler [2012-12-19 14:35:30] 727*2^1237677-1 is not prime. Res64: 96D11A8C6B81D8D0 Time : 0.0 sec. user=mdettweiler [2012-12-19 14:35:30] 865*2^1237677-1 is not prime. Res64: 1927B71A5948FA75 Time : 0.0 sec. user=mdettweiler [2012-12-19 14:48:31] 927*2^1237677-1 is not prime. Res64: ED79269E00B038A5 Time : 0.0 sec. user=mdettweiler [2012-12-19 14:48:32] 611*2^1237678-1 is not prime. Res64: E2B0E395092D15A8 Time : 0.0 sec. user=mdettweiler [2012-12-19 14:52:55] 687*2^1237678-1 is not prime. Res64: F96DFD7764E02BCF Time : 0.0 sec. user=mdettweiler [2012-12-19 14:52:56] 831*2^1237678-1 is not prime. Res64: 3212F9CDF5E2EBAB Time : 0.0 sec. user=mdettweiler [2012-12-19 15:05:58] 861*2^1237678-1 is not prime. Res64: 59A1449C7FE27D8F Time : 0.0 sec. user=mdettweiler [2012-12-19 15:06:01] 863*2^1237678-1 is not prime. Res64: 365B2419794CBFE1 Time : 0.0 sec. user=mdettweiler [2012-12-19 15:10:21] 891*2^1237678-1 is not prime. Res64: 26A9F9C1FAE8E106 Time : 0.0 sec. user=mdettweiler [2012-12-19 15:10:22] 661*2^1237679-1 is not prime. Res64: 685CABAA0FBA676C Time : 0.0 sec. user=mdettweiler [2012-12-19 15:23:43] 663*2^1237679-1 is not prime. Res64: C939B6F96E73D2F9 Time : 0.0 sec. user=mdettweiler [2012-12-19 15:23:43] 799*2^1237679-1 is not prime. Res64: 63B4A0C4F15AA7C8 Time : 0.0 sec. user=mdettweiler [2012-12-19 15:27:51] 855*2^1237679-1 is not prime. Res64: 9992BDDD0DC23633 Time : 0.0 sec. user=mdettweiler [2012-12-19 15:27:52] 885*2^1237679-1 is not prime. Res64: FB40400FC953ADCA Time : 0.0 sec. user=mdettweiler [2012-12-19 15:41:08] 889*2^1237679-1 is not prime. Res64: 6814FD444180DF36 Time : 0.0 sec. user=mdettweiler [2012-12-19 15:41:08] 913*2^1237679-1 is not prime. Res64: 4B066815370D01B8 Time : 0.0 sec. user=mdettweiler [2012-12-19 15:45:16] 627*2^1237680-1 is not prime. Res64: 7AFF63E03BC5A470 Time : 0.0 sec. user=mdettweiler [2012-12-19 15:45:17] 689*2^1237680-1 is not prime. Res64: 686D487BE548A651 Time : 0.0 sec. user=mdettweiler [2012-12-19 15:58:36] 789*2^1237680-1 is not prime. Res64: CD745298C43D5F0D Time : 0.0 sec. user=mdettweiler [2012-12-19 15:58:37] 803*2^1237680-1 is not prime. Res64: 0000EA53BB7EDA17 Time : 0.0 sec. user=mdettweiler [2012-12-19 16:02:47] 983*2^1237680-1 is not prime. Res64: D8B6F07C6AC802DD Time : 0.0 sec. user=mdettweiler [2012-12-19 16:02:48] 691*2^1237681-1 is not prime. Res64: 445F82B5EE78B2A3 Time : 0.0 sec. user=mdettweiler [2012-12-19 16:16:27] 745*2^1237681-1 is not prime. Res64: 41A8AE10F0AD2163 Time : 0.0 sec. user=mdettweiler [2012-12-19 16:16:27] 867*2^1237681-1 is not prime. Res64: 05DCEEBDDB2C263B Time : 0.0 sec. user=mdettweiler [2012-12-19 16:20:38] 937*2^1237681-1 is not prime. Res64: 53DAE9B1DF47F09E Time : 0.0 sec. user=mdettweiler [2012-12-19 16:20:38] 951*2^1237681-1 is not prime. Res64: 242755B8526104B2 Time : 0.0 sec. user=mdettweiler [2012-12-19 16:33:57] 955*2^1237681-1 is not prime. Res64: 0A7431A724604C36 Time : 0.0 sec. user=mdettweiler [2012-12-19 16:33:58] 999*2^1237681-1 is not prime. Res64: 052A91E872A76C07 Time : 0.0 sec. user=mdettweiler [2012-12-19 16:38:04] 683*2^1237682-1 is not prime. Res64: 44AA6A3B52B0507F Time : 0.0 sec. user=mdettweiler [2012-12-19 16:38:06] 711*2^1237682-1 is not prime. Res64: E546AD7B24D4A4EC Time : 0.0 sec. user=mdettweiler [2012-12-19 16:51:28] 797*2^1237682-1 is not prime. Res64: 73B6F596573E8072 Time : 0.0 sec. user=mdettweiler [2012-12-19 16:51:28] 815*2^1237682-1 is not prime. Res64: EC9B661A89BDF5D9 Time : 0.0 sec. user=mdettweiler [2012-12-19 16:55:43] 923*2^1237682-1 is not prime. Res64: 3FDBB206EE3BBBE5 Time : 0.0 sec. user=mdettweiler [2012-12-19 16:55:43] 941*2^1237682-1 is not prime. Res64: 4F04CA6977998B7D Time : 0.0 sec. user=mdettweiler [2012-12-19 17:09:19] 951*2^1237682-1 is not prime. Res64: 0613F0C74F9B14B8 Time : 0.0 sec. user=mdettweiler [2012-12-19 17:09:20] 983*2^1237682-1 is not prime. Res64: 7FBC0DC5BDB89CBB Time : 0.0 sec. user=mdettweiler [2012-12-19 17:13:32] 615*2^1237683-1 is not prime. Res64: 86B6EF1175CDD0CD Time : 0.0 sec. user=mdettweiler [2012-12-19 17:13:32] 649*2^1237683-1 is not prime. Res64: 95A2F1BE3AF6137D Time : 0.0 sec. user=mdettweiler [2012-12-19 17:27:14] 679*2^1237683-1 is not prime. Res64: B34322B94598CA61 Time : 0.0 sec. user=mdettweiler [2012-12-19 17:27:15] 765*2^1237683-1 is not prime. Res64: 5CF8BF2512C7B4B3 Time : 0.0 sec. user=mdettweiler [2012-12-19 17:31:22] 951*2^1237683-1 is not prime. Res64: C6839FB9357D72D3 Time : 0.0 sec. user=mdettweiler [2012-12-19 17:31:22] 635*2^1237684-1 is not prime. Res64: 6F3FABAF60B9BAA8 Time : 0.0 sec. user=mdettweiler [2012-12-19 17:45:05] 723*2^1237684-1 is not prime. Res64: D0C87617E3D37400 Time : 0.0 sec. user=mdettweiler [2012-12-19 17:45:06] 783*2^1237684-1 is not prime. Res64: 13B558F936C358CB Time : 0.0 sec. user=mdettweiler [2012-12-19 17:49:10] 807*2^1237684-1 is not prime. Res64: A54D08B9588A50A8 Time : 0.0 sec. user=mdettweiler [2012-12-19 17:49:10] 825*2^1237684-1 is not prime. Res64: 20084A5F4A60E256 Time : 0.0 sec. user=mdettweiler [2012-12-19 18:02:54] 869*2^1237684-1 is not prime. Res64: 56978CC477BB46DE Time : 0.0 sec. user=mdettweiler [2012-12-19 18:02:55] 721*2^1237685-1 is not prime. Res64: E63E568DABB714F5 Time : 0.0 sec. user=mdettweiler [2012-12-19 18:06:58] 789*2^1237685-1 is not prime. Res64: D933C45FD1E667A0 Time : 0.0 sec. user=mdettweiler [2012-12-19 18:06:58] 969*2^1237685-1 is not prime. Res64: 69D295D30424C80C Time : 0.0 sec. user=mdettweiler [2012-12-19 18:20:55] 627*2^1237686-1 is not prime. Res64: DD160C2383706E43 Time : 0.0 sec. user=mdettweiler [2012-12-19 18:20:56] 705*2^1237686-1 is not prime. Res64: E8A57EFE1059014E Time : 0.0 sec. user=mdettweiler [2012-12-19 18:24:50] 843*2^1237686-1 is not prime. Res64: D2F48D3C3A6801A0 Time : 0.0 sec. user=mdettweiler [2012-12-19 18:24:50] 867*2^1237686-1 is not prime. Res64: 225AD0F3171DD542 Time : 0.0 sec. user=mdettweiler [2012-12-19 18:38:50] 881*2^1237686-1 is not prime. Res64: 8C9669A13FEB5564 Time : 0.0 sec. user=mdettweiler [2012-12-19 18:38:50] 893*2^1237686-1 is not prime. Res64: 34033BDD34B8C978 Time : 0.0 sec. user=mdettweiler [2012-12-19 18:42:38] 963*2^1237686-1 is not prime. Res64: CE8DE811D8072D9D Time : 0.0 sec. user=mdettweiler [2012-12-19 18:42:39] 663*2^1237687-1 is not prime. Res64: 9C9CABDC1E8B12B0 Time : 0.0 sec. user=mdettweiler [2012-12-19 18:56:39] 675*2^1237687-1 is not prime. Res64: 601F5F4BD998F5EC Time : 0.0 sec. user=mdettweiler [2012-12-19 18:56:40] 735*2^1237687-1 is not prime. Res64: D46E6B276751878E Time : 0.0 sec. user=mdettweiler [2012-12-19 19:00:28] 741*2^1237687-1 is not prime. Res64: BDE43AE18F27E55F Time : 0.0 sec. user=mdettweiler [2012-12-19 19:00:29] 859*2^1237687-1 is not prime. Res64: 56D1F4F1F3CD4FCF Time : 0.0 sec. user=mdettweiler [2012-12-19 19:14:27] 871*2^1237687-1 is not prime. Res64: 7E0487C1EDDCA9AE Time : 0.0 sec. user=mdettweiler [2012-12-19 19:14:28] 617*2^1237688-1 is not prime. Res64: 143D36665C0DA973 Time : 0.0 sec. user=mdettweiler [2012-12-19 19:18:20] 623*2^1237688-1 is not prime. Res64: 3CA993D267BA3B80 Time : 0.0 sec. user=mdettweiler [2012-12-19 19:18:20] 795*2^1237688-1 is not prime. Res64: C9CFA9D300CB4E9D Time : 0.0 sec. user=mdettweiler [2012-12-19 19:32:21] 837*2^1237688-1 is not prime. Res64: E21E25470A7D4C33 Time : 0.0 sec. user=mdettweiler [2012-12-19 19:32:21] 843*2^1237688-1 is not prime. Res64: 03D04FC19E4E3404 Time : 0.0 sec. user=mdettweiler [2012-12-19 19:36:10] 927*2^1237688-1 is not prime. Res64: 94CF24C9384CC170 Time : 0.0 sec. user=mdettweiler [2012-12-19 19:36:10] 999*2^1237688-1 is not prime. Res64: 6596CAE55A635458 Time : 0.0 sec. user=mdettweiler [2012-12-19 19:50:10] 685*2^1237689-1 is not prime. Res64: A88DD26CADF15120 Time : 0.0 sec. user=mdettweiler [2012-12-19 19:50:10] 741*2^1237689-1 is not prime. Res64: B414CFDF3AF2B9A7 Time : 0.0 sec. user=mdettweiler [2012-12-19 19:53:59] 787*2^1237689-1 is not prime. Res64: AF2101DF944FE654 Time : 0.0 sec. user=mdettweiler [2012-12-19 19:53:59] 831*2^1237689-1 is not prime. Res64: 736B0E4AA4AC6585 Time : 0.0 sec. user=mdettweiler [2012-12-19 20:08:07] 861*2^1237689-1 is not prime. Res64: 70C2CB3735B6A08D Time : 0.0 sec. user=mdettweiler [2012-12-19 20:08:07] 945*2^1237689-1 is not prime. Res64: 0D3E02D8C07C563D Time : 0.0 sec. user=mdettweiler [2012-12-19 20:11:56] 955*2^1237689-1 is not prime. Res64: 8AC04D56D1B1BBAA Time : 0.0 sec. user=mdettweiler [2012-12-19 20:11:59] 623*2^1237690-1 is not prime. Res64: 4DCB6C40EE30EF9A Time : 0.0 sec. user=mdettweiler [2012-12-19 20:26:10] 635*2^1237690-1 is not prime. Res64: 374898120F55809F Time : 0.0 sec. user=mdettweiler [2012-12-19 20:26:10] 717*2^1237690-1 is not prime. Res64: EDE8009D008DBCB7 Time : 0.0 sec. user=mdettweiler [2012-12-19 20:44:00] 917*2^1237690-1 is not prime. Res64: 034662B77B3EE4FA Time : 0.0 sec. user=mdettweiler [2012-12-19 20:44:00] 609*2^1237691-1 is not prime. Res64: 35983325BA719F94 Time : 0.0 sec. user=mdettweiler [2012-12-19 20:52:59] 735*2^1237690-1 is not prime. Res64: 792E2CC16F5628C3 Time : 0.0 sec. user=mdettweiler [2012-12-19 20:52:59] 857*2^1237690-1 is not prime. Res64: A411CBA36D5772F2 Time : 0.0 sec. user=mdettweiler [2012-12-19 21:01:50] 621*2^1237691-1 is not prime. Res64: FD056FF503FF189A Time : 0.0 sec. user=mdettweiler [2012-12-19 21:01:52] 651*2^1237691-1 is not prime. Res64: 26926F6F4464F3EE Time : 0.0 sec. user=mdettweiler [2012-12-19 21:10:48] 711*2^1237691-1 is not prime. Res64: CDC6528AFFACF6A1 Time : 0.0 sec. user=mdettweiler [2012-12-19 21:10:49] 741*2^1237691-1 is not prime. Res64: 806B9F7A487084D6 Time : 0.0 sec. user=mdettweiler [2012-12-19 21:19:41] 805*2^1237691-1 is not prime. Res64: EE79D7C0C90CCC59 Time : 0.0 sec. user=mdettweiler [2012-12-19 21:19:42] 819*2^1237691-1 is not prime. Res64: 3428D206C9C0286D Time : 0.0 sec. user=mdettweiler [2012-12-19 21:28:44] 885*2^1237691-1 is not prime. Res64: 5CD78A5D30F3FE83 Time : 0.0 sec. user=mdettweiler [2012-12-19 21:28:44] 909*2^1237691-1 is not prime. Res64: B4F569CEB1816EC5 Time : 0.0 sec. user=mdettweiler [2012-12-19 21:37:30] 955*2^1237691-1 is not prime. Res64: 6BFE60A900AAAF94 Time : 0.0 sec. user=mdettweiler [2012-12-19 21:37:31] 609*2^1237692-1 is not prime. Res64: 7452D1A99F487283 Time : 0.0 sec. user=mdettweiler [2012-12-19 21:46:27] 669*2^1237692-1 is not prime. Res64: A96A46A86DA21DD5 Time : 0.0 sec. user=mdettweiler [2012-12-19 21:46:28] 693*2^1237692-1 is not prime. Res64: 7287E4525FDF5178 Time : 0.0 sec. user=mdettweiler [2012-12-19 21:55:08] 753*2^1237692-1 is not prime. Res64: DAFB1215AE3369FE Time : 0.0 sec. user=mdettweiler [2012-12-19 21:55:09] 759*2^1237692-1 is not prime. Res64: EA13773AD70432E1 Time : 0.0 sec. user=mdettweiler [2012-12-19 22:03:59] 779*2^1237692-1 is not prime. Res64: 8D42F348824DD7CD Time : 0.0 sec. user=mdettweiler [2012-12-19 22:04:01] 803*2^1237692-1 is not prime. Res64: 115043B172039C4C Time : 0.0 sec. user=mdettweiler [2012-12-19 22:12:39] 809*2^1237692-1 is not prime. Res64: A41C33F4D7718183 Time : 0.0 sec. user=mdettweiler [2012-12-19 22:12:40] 837*2^1237692-1 is not prime. Res64: CE83E2E3A4983A12 Time : 0.0 sec. user=mdettweiler [2012-12-19 22:21:34] 929*2^1237692-1 is not prime. Res64: F2914DEC9C33EFDD Time : 0.0 sec. user=mdettweiler [2012-12-19 22:21:34] 609*2^1237693-1 is not prime. Res64: 31A348BD4B60B874 Time : 0.0 sec. user=mdettweiler [2012-12-19 22:30:01] 615*2^1237693-1 is not prime. Res64: 0CC33AD3E5B950A5 Time : 0.0 sec. user=mdettweiler [2012-12-19 22:30:02] 775*2^1237693-1 is not prime. Res64: A29C9CE6FCF92CF8 Time : 0.0 sec. user=mdettweiler [2012-12-19 22:38:53] 831*2^1237693-1 is not prime. Res64: B049EC7374139646 Time : 0.0 sec. user=mdettweiler [2012-12-19 22:38:53] 895*2^1237693-1 is not prime. Res64: 6243BE365CBD3DC9 Time : 0.0 sec. user=mdettweiler [2012-12-19 22:47:24] 897*2^1237693-1 is not prime. Res64: 5C642DBC9E9989B1 Time : 0.0 sec. user=mdettweiler [2012-12-19 22:47:25] 937*2^1237693-1 is not prime. Res64: 050809029C91114B Time : 0.0 sec. user=mdettweiler [2012-12-19 22:56:12] 623*2^1237694-1 is not prime. Res64: 7A7F6D2EC06414B6 Time : 0.0 sec. user=mdettweiler [2012-12-19 22:56:13] 635*2^1237694-1 is not prime. Res64: AE3D65F8735CBDF7 Time : 0.0 sec. user=mdettweiler [2012-12-19 23:04:44] 677*2^1237694-1 is not prime. Res64: 2F76D61230A2F0AE Time : 0.0 sec. user=mdettweiler [2012-12-19 23:04:48] 705*2^1237694-1 is not prime. Res64: FCC12D6030FA5858 Time : 0.0 sec. user=mdettweiler [2012-12-19 23:13:31] 743*2^1237694-1 is not prime. Res64: 45ED725B3ED0F3A6 Time : 0.0 sec. user=mdettweiler [2012-12-19 23:13:32] 773*2^1237694-1 is not prime. Res64: C34B2227716F2FF4 Time : 0.0 sec. user=mdettweiler [2012-12-19 23:22:30] 791*2^1237694-1 is not prime. Res64: 993CF8BD820B472E Time : 0.0 sec. user=mdettweiler [2012-12-19 23:22:30] 917*2^1237694-1 is not prime. Res64: 2E2B7A9C48F452EC Time : 0.0 sec. user=mdettweiler [2012-12-19 23:30:58] 705*2^1237695-1 is not prime. Res64: 158ED7BB124E151E Time : 0.0 sec. user=mdettweiler [2012-12-19 23:30:59] 735*2^1237695-1 is not prime. Res64: D821587787787DB3 Time : 0.0 sec. user=mdettweiler [2012-12-19 23:39:48] 765*2^1237695-1 is not prime. Res64: 7E59D538B7FE9418 Time : 0.0 sec. user=mdettweiler [2012-12-19 23:39:49] 781*2^1237695-1 is not prime. Res64: EA95F99FE240364D Time : 0.0 sec. user=mdettweiler [2012-12-19 23:48:19] 793*2^1237695-1 is not prime. Res64: 0E8D9A0B2855A2F4 Time : 0.0 sec. user=mdettweiler [2012-12-19 23:48:20] 819*2^1237695-1 is not prime. Res64: C00B4AF7A2786641 Time : 0.0 sec. user=mdettweiler [2012-12-19 23:57:08] 873*2^1237695-1 is not prime. Res64: 1344C7569054AC81 Time : 0.0 sec. user=mdettweiler [2012-12-19 23:57:08] 985*2^1237695-1 is not prime. Res64: AD9F9F14D8044DA1 Time : 0.0 sec.