user=mdettweiler [2012-01-20 00:03:39] 777*2^1002018-1 is not prime. Res64: 6FF5968DE50E594B Time : 0.0 sec. user=mdettweiler [2012-01-20 00:03:40] 921*2^1002018-1 is not prime. Res64: 9BDED73E4AB53A27 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:05:15] 957*2^1002017-1 is not prime. Res64: C03B2C1B161A1E08 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:05:16] 605*2^1002018-1 is not prime. Res64: B14A96939FF81B28 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:06:28] 963*2^1002018-1 is not prime. Res64: 6FDCAB749166F505 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:06:29] 609*2^1002019-1 is not prime. Res64: 87DF7F190529E7BF Time : 0.0 sec. user=mdettweiler [2012-01-20 00:18:02] 633*2^1002019-1 is not prime. Res64: CEA8202D1C15CB80 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:18:02] 691*2^1002019-1 is not prime. Res64: 7298419DEFA27A03 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:18:37] 747*2^1002014-1 is not prime. Res64: A804DA3E5D7B124B Time : 0.0 sec. user=mdettweiler [2012-01-20 00:18:37] 917*2^1002014-1 is not prime. Res64: EF6BB6F83DEDE005 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:21:51] 937*2^1002013-1 is not prime. Res64: 0A6E9DBF32D6A5A0 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:21:51] 665*2^1002014-1 is not prime. Res64: A6908B8C76956C95 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:23:26] 703*2^1002019-1 is not prime. Res64: A87898EA5B0AB2A7 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:23:27] 745*2^1002019-1 is not prime. Res64: 0ED01C3FD4A307E2 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:24:59] 771*2^1002019-1 is not prime. Res64: 9B8A3FFA93DCCB9A Time : 0.0 sec. user=mdettweiler [2012-01-20 00:24:59] 789*2^1002019-1 is not prime. Res64: ACB2F49E4E3C37CE Time : 0.0 sec. user=mdettweiler [2012-01-20 00:28:36] 873*2^1002019-1 is not prime. Res64: ED5655F12B0EEA49 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:28:37] 939*2^1002019-1 is not prime. Res64: 999AE143A13143A7 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:31:05] 1001*2^1002014-1 is not prime. Res64: 3E1FBBE5DF4C9540 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:31:05] 625*2^1002015-1 is not prime. Res64: 6A5B1F3CCFFDD2E3 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:37:43] 615*2^1002020-1 is not prime. Res64: C305E1D875BD3EB3 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:37:43] 665*2^1002020-1 is not prime. Res64: C80178C7479B3EC3 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:43:07] 601*2^1002021-1 is not prime. Res64: C6ACB30EF9B2D0E1 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:43:07] 657*2^1002021-1 is not prime. Res64: 153609B4D45003A8 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:47:00] 735*2^1002021-1 is not prime. Res64: E1E0FF4152E7B6A2 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:47:00] 937*2^1002021-1 is not prime. Res64: 6ADE960DF68AA9BC Time : 0.0 sec. user=mdettweiler [2012-01-20 00:48:25] 621*2^1002022-1 is not prime. Res64: 1E6ECBE3FFB699B4 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:48:25] 645*2^1002022-1 is not prime. Res64: 50948E85EF6E59FA Time : 0.0 sec. user=mdettweiler [2012-01-20 00:57:29] 737*2^1002022-1 is not prime. Res64: D30E40B9D0E86C64 Time : 0.0 sec. user=mdettweiler [2012-01-20 00:57:29] 741*2^1002022-1 is not prime. Res64: 9E2087F3EAAB6B33 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:02:53] 747*2^1002022-1 is not prime. Res64: 2C8E014F04A1C5C9 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:02:55] 825*2^1002022-1 is not prime. Res64: AD9152A5AB2C8111 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:06:42] 827*2^1002022-1 is not prime. Res64: 1C7DDC3636DFC4CA Time : 0.0 sec. user=mdettweiler [2012-01-20 01:06:44] 831*2^1002022-1 is not prime. Res64: 4A0A38CC673F5057 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:10:27] 917*2^1002022-1 is not prime. Res64: 33FC3D1E4C6A6A60 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:10:28] 987*2^1002022-1 is not prime. Res64: 0703E032C8786402 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:11:37] 621*2^1002018-1 is not prime. Res64: 92B5A104C0AC5B45 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:11:37] 773*2^1002018-1 is not prime. Res64: ABF198555EE6B852 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:17:05] 663*2^1002023-1 is not prime. Res64: 50F39F680C134EB0 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:17:05] 735*2^1002023-1 is not prime. Res64: 8432E80FFD8E4372 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:22:40] 813*2^1002023-1 is not prime. Res64: DF80E0254934BB9B Time : 0.0 sec. user=mdettweiler [2012-01-20 01:22:41] 825*2^1002023-1 is not prime. Res64: C52E4ADDC23A315A Time : 0.0 sec. user=mdettweiler [2012-01-20 01:28:48] 859*2^1002023-1 is not prime. Res64: F4E1AA2E36030E2A Time : 0.0 sec. user=mdettweiler [2012-01-20 01:28:48] 973*2^1002023-1 is not prime. Res64: 83DAA5FFFC060E95 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:30:11] 605*2^1002024-1 is not prime. Res64: DCBCBD6A91DAFF34 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:30:11] 629*2^1002024-1 is not prime. Res64: E57463250D1A8232 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:36:52] 809*2^1002024-1 is not prime. Res64: 3E82114348CBCB0E Time : 0.0 sec. user=mdettweiler [2012-01-20 01:36:53] 849*2^1002024-1 is not prime. Res64: D58DDFC5FEDB2FA6 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:42:22] 899*2^1002024-1 is not prime. Res64: E25EBD752044B42D Time : 0.0 sec. user=mdettweiler [2012-01-20 01:42:23] 609*2^1002025-1 is not prime. Res64: 2355A19890885069 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:45:19] 725*2^1002020-1 is not prime. Res64: D9E04807C7195082 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:45:19] 759*2^1002020-1 is not prime. Res64: 04E7B8B22A836E59 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:48:29] 649*2^1002025-1 is not prime. Res64: F44DE629509BC586 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:48:29] 699*2^1002025-1 is not prime. Res64: 1BAFB57AECC19E73 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:48:38] 899*2^1002020-1 is not prime. Res64: DFCC1A2F48B65281 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:48:38] 923*2^1002020-1 is not prime. Res64: 55462ED16071D49A Time : 0.0 sec. user=mdettweiler [2012-01-20 01:49:55] 721*2^1002025-1 is not prime. Res64: D547C9464D18B8FA Time : 0.0 sec. user=mdettweiler [2012-01-20 01:49:56] 729*2^1002025-1 is not prime. Res64: 086322D0067DFEC3 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:56:37] 871*2^1002025-1 is not prime. Res64: 21A114660EBB6BF4 Time : 0.0 sec. user=mdettweiler [2012-01-20 01:56:38] 877*2^1002025-1 is not prime. Res64: 10DD85E0508263DF Time : 0.0 sec. user=mdettweiler [2012-01-20 01:59:58] 653*2^1002022-1 is not prime. Res64: 5F4E1642D9554E4E Time : 0.0 sec. user=mdettweiler [2012-01-20 01:59:58] 705*2^1002022-1 is not prime. Res64: FF158774069DB441 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:02:07] 889*2^1002025-1 is not prime. Res64: C67BD0C40DB73988 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:02:09] 895*2^1002025-1 is not prime. Res64: 0194AEC04074ED67 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:08:16] 735*2^1002026-1 is not prime. Res64: 63EC96945C720824 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:08:17] 741*2^1002026-1 is not prime. Res64: D7F0C2B9740E34A4 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:14:11] 963*2^1002026-1 is not prime. Res64: D1D1C195AABE3C85 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:14:11] 971*2^1002026-1 is not prime. Res64: BAB76D6AE14C69A1 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:18:43] 987*2^1002026-1 is not prime. Res64: 96E497DA068C5CFA Time : 0.0 sec. user=mdettweiler [2012-01-20 02:18:43] 619*2^1002027-1 is not prime. Res64: F8D225FEEF221372 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:24:21] 835*2^1002027-1 is not prime. Res64: CBD8447E9B56BA30 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:24:22] 961*2^1002027-1 is not prime. Res64: 6AE60E9F0A23A1CB Time : 0.0 sec. user=mdettweiler [2012-01-20 02:27:58] 677*2^1002028-1 is not prime. Res64: 9AE00A01E5CBCC01 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:27:58] 735*2^1002028-1 is not prime. Res64: E81077C7BCF89C9C Time : 0.0 sec. user=mdettweiler [2012-01-20 02:33:54] 765*2^1002028-1 is not prime. Res64: 8727C25EA2976D61 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:33:55] 773*2^1002028-1 is not prime. Res64: 91AFB04A4AEE47B7 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:37:28] 767*2^1002024-1 is not prime. Res64: CEA6B901D36AB788 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:37:28] 795*2^1002024-1 is not prime. Res64: EEF63CE1D24D4865 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:38:26] 825*2^1002028-1 is not prime. Res64: D86516AD8EB00465 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:38:27] 827*2^1002028-1 is not prime. Res64: F81EB1E745B40821 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:44:03] 887*2^1002028-1 is not prime. Res64: 0F0E21A70BC30C6D Time : 0.0 sec. user=mdettweiler [2012-01-20 02:44:04] 711*2^1002029-1 is not prime. Res64: DE92739F169BD3D9 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:47:41] 771*2^1002029-1 is not prime. Res64: C6FA45DBE8E30F78 Time : 0.0 sec. user=mdettweiler [2012-01-20 02:47:42] 781*2^1002029-1 is not prime. Res64: D143063C68C1621F Time : 0.0 sec. user=mdettweiler [2012-01-20 02:53:39] 847*2^1002029-1 is not prime. Res64: 7CCBF6FFC0B7226A Time : 0.0 sec. user=mdettweiler [2012-01-20 02:53:40] 907*2^1002029-1 is not prime. Res64: 12B7CBDE1BBBCF71 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:00:28] 957*2^1002029-1 is not prime. Res64: CFFEA4FC661C97E1 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:00:29] 641*2^1002030-1 is not prime. Res64: 63CBFE1B310E004D Time : 0.0 sec. user=mdettweiler [2012-01-20 03:06:03] 1001*2^1002030-1 is not prime. Res64: 63DF36930F4E645C Time : 0.0 sec. user=mdettweiler [2012-01-20 03:06:04] 639*2^1002031-1 is not prime. Res64: A47F2B66FD8104A6 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:07:26] 673*2^1002031-1 is not prime. Res64: E0C0C98B51F8CCFD Time : 0.0 sec. user=mdettweiler [2012-01-20 03:07:27] 685*2^1002031-1 is not prime. Res64: ACE8B71D3809F6D6 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:13:28] 715*2^1002031-1 is not prime. Res64: 1FC08D7808A037AF Time : 0.0 sec. user=mdettweiler [2012-01-20 03:13:29] 769*2^1002031-1 is not prime. Res64: 7B12D63B9C6B0AF6 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:14:05] 867*2^1002026-1 is not prime. Res64: CB0856B30D9F6155 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:14:05] 887*2^1002026-1 is not prime. Res64: 31BA09B93BF1EEEA Time : 0.0 sec. user=mdettweiler [2012-01-20 03:21:33] 997*2^1002025-1 is not prime. Res64: 01623321EF9EDC2E Time : 0.0 sec. user=mdettweiler [2012-01-20 03:21:33] 635*2^1002026-1 is not prime. Res64: 9E8ED7F509E3AF49 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:24:44] 933*2^1002031-1 is not prime. Res64: D03FF693EE87F0B6 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:24:44] 961*2^1002031-1 is not prime. Res64: 43A2A2C9CC93A133 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:25:50] 603*2^1002032-1 is not prime. Res64: 7AA2E7122C601195 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:25:51] 615*2^1002032-1 is not prime. Res64: A4424AC8736611D0 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:26:51] 621*2^1002027-1 is not prime. Res64: 89D88C0C6B5DD838 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:26:52] 775*2^1002027-1 is not prime. Res64: 969F0132B7E77C5E Time : 0.0 sec. user=mdettweiler [2012-01-20 03:27:20] 813*2^1002032-1 is not prime. Res64: 774D4B41A1701198 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:27:21] 639*2^1002033-1 is not prime. Res64: 4241A10CBCB6317F Time : 0.0 sec. user=mdettweiler [2012-01-20 03:33:14] 657*2^1002033-1 is not prime. Res64: 5DF58355D55D6F14 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:33:15] 747*2^1002033-1 is not prime. Res64: E4D2E9E18C7489C2 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:47:03] 651*2^1002037-1 is not prime. Res64: 1833AF95F585712E Time : 0.0 sec. user=mdettweiler [2012-01-20 03:47:03] 685*2^1002037-1 is not prime. Res64: 1C605BB80BF0483F Time : 0.0 sec. user=mdettweiler [2012-01-20 03:49:02] 939*2^1002035-1 is not prime. Res64: E2FF80CCA1899B5E Time : 0.0 sec. user=mdettweiler [2012-01-20 03:49:03] 963*2^1002035-1 is not prime. Res64: A9BB87D8AB30824A Time : 0.0 sec. user=mdettweiler [2012-01-20 03:50:11] 969*2^1002035-1 is not prime. Res64: 553933EEBF5736A0 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:50:11] 981*2^1002035-1 is not prime. Res64: C2070C8E3A2D057F Time : 0.0 sec. user=mdettweiler [2012-01-20 03:53:08] 775*2^1002037-1 is not prime. Res64: 9724631BB9466886 Time : 0.0 sec. user=mdettweiler [2012-01-20 03:53:08] 919*2^1002037-1 is not prime. Res64: B63049A37BDFB5B6 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:09:08] 671*2^1002038-1 is not prime. Res64: F156A9F8484EAC95 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:09:09] 677*2^1002038-1 is not prime. Res64: 6BD577642DEC5B6D Time : 0.0 sec. user=mdettweiler [2012-01-20 04:10:08] 711*2^1002038-1 is not prime. Res64: A85821421AC8CF7E Time : 0.0 sec. user=mdettweiler [2012-01-20 04:10:09] 867*2^1002038-1 is not prime. Res64: C22523E6671A9EA2 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:11:45] 927*2^1002037-1 is not prime. Res64: 7DAB4BB9C93B5A62 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:11:47] 975*2^1002037-1 is not prime. Res64: DEE8FF62321DE9E5 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:12:47] 925*2^1002029-1 is not prime. Res64: 92E647FA3A51E87D Time : 0.0 sec. user=mdettweiler [2012-01-20 04:12:47] 927*2^1002029-1 is not prime. Res64: B1113B3BC8392B46 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:15:11] 897*2^1002038-1 is not prime. Res64: 6C98C720A90AECFF Time : 0.0 sec. user=mdettweiler [2012-01-20 04:15:12] 941*2^1002038-1 is not prime. Res64: BA9100D2F1F6CD5D Time : 0.0 sec. user=mdettweiler [2012-01-20 04:29:55] 625*2^1002039-1 is not prime. Res64: 7C4B6BD2DC01986D Time : 0.0 sec. user=mdettweiler [2012-01-20 04:29:56] 661*2^1002039-1 is not prime. Res64: 19DAC5A4C1B7C23C Time : 0.0 sec. user=mdettweiler [2012-01-20 04:31:34] 723*2^1002039-1 is not prime. Res64: 7408F1DA414730E8 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:31:35] 829*2^1002039-1 is not prime. Res64: 3A52F721199D8FFB Time : 0.0 sec. user=mdettweiler [2012-01-20 04:33:30] 951*2^1002038-1 is not prime. Res64: 4152A13DC89B097B Time : 0.0 sec. user=mdettweiler [2012-01-20 04:33:31] 953*2^1002038-1 is not prime. Res64: A3C7C0A6744201F5 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:34:59] 605*2^1002040-1 is not prime. Res64: 6B6F53CA1AF1ADA2 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:35:00] 677*2^1002040-1 is not prime. Res64: 7A273E58ADE3E80D Time : 0.0 sec. user=mdettweiler [2012-01-20 04:42:57] 885*2^1002033-1 is not prime. Res64: A43B5E3AE767A4CB Time : 0.0 sec. user=mdettweiler [2012-01-20 04:42:57] 773*2^1002034-1 is not prime. Res64: 59FF9AA2D7EB945B Time : 0.0 sec. user=mdettweiler [2012-01-20 04:49:37] 719*2^1002040-1 is not prime. Res64: D76A8B165EAB51BA Time : 0.0 sec. user=mdettweiler [2012-01-20 04:49:37] 777*2^1002040-1 is not prime. Res64: E7F1E80473C57A16 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:49:50] 813*2^1002034-1 is not prime. Res64: 0EFBD5CCC1DE2F15 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:49:50] 841*2^1002035-1 is not prime. Res64: B465EDEEFF428AC7 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:51:16] 797*2^1002040-1 is not prime. Res64: 2A701E71CC4EFFF0 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:51:16] 845*2^1002040-1 is not prime. Res64: 25254ADF82E2D83A Time : 0.0 sec. user=mdettweiler [2012-01-20 04:54:42] 675*2^1002041-1 is not prime. Res64: F726CDE72BDD4DC6 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:54:43] 777*2^1002041-1 is not prime. Res64: 9B21A23CDF785954 Time : 0.0 sec. user=mdettweiler [2012-01-20 04:55:28] 915*2^1002040-1 is not prime. Res64: 42DD10D958E335EA Time : 0.0 sec. user=mdettweiler [2012-01-20 04:55:29] 959*2^1002040-1 is not prime. Res64: 05946604567C52C1 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:08:14] 735*2^1002036-1 is not prime. Res64: 770D4AF19BB4E734 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:08:15] 993*2^1002036-1 is not prime. Res64: 3F7F201A00D4F11D Time : 0.0 sec. user=mdettweiler [2012-01-20 05:09:20] 865*2^1002041-1 is not prime. Res64: 00746CB5C4AA5AE2 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:09:21] 925*2^1002041-1 is not prime. Res64: 5955B8B79EF4A144 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:11:03] 695*2^1002042-1 is not prime. Res64: 13DAD9DEEFEAAA9D Time : 0.0 sec. user=mdettweiler [2012-01-20 05:11:05] 713*2^1002042-1 is not prime. Res64: 1274D03A46E48983 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:14:29] 735*2^1002042-1 is not prime. Res64: 48F96A18B6A8853E Time : 0.0 sec. user=mdettweiler [2012-01-20 05:14:30] 807*2^1002042-1 is not prime. Res64: DF480BA5DE73FE7C Time : 0.0 sec. user=mdettweiler [2012-01-20 05:17:26] 947*2^1002042-1 is not prime. Res64: AE9D8404BBC0E3D5 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:17:27] 703*2^1002043-1 is not prime. Res64: 473B8BF49DD81BB3 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:29:09] 853*2^1002043-1 is not prime. Res64: 41F31CBC0CB36274 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:29:09] 915*2^1002043-1 is not prime. Res64: 2D23E4F9B5390E41 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:30:52] 629*2^1002044-1 is not prime. Res64: 4E74C888D825CB95 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:30:53] 837*2^1002044-1 is not prime. Res64: EC58F6DF90B2D668 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:34:11] 875*2^1002044-1 is not prime. Res64: A69BA127292A7E2F Time : 0.0 sec. user=mdettweiler [2012-01-20 05:34:11] 609*2^1002045-1 is not prime. Res64: A3E007DAA00908A6 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:37:09] 655*2^1002045-1 is not prime. Res64: 529A684771CA52A5 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:37:09] 657*2^1002045-1 is not prime. Res64: FAF4326527A83729 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:39:07] 891*2^1002039-1 is not prime. Res64: 045E07DCBFB46074 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:39:07] 909*2^1002039-1 is not prime. Res64: 69F17C9BE4CBA67F Time : 0.0 sec. user=mdettweiler [2012-01-20 05:50:37] 611*2^1002046-1 is not prime. Res64: 2779805011089544 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:50:37] 623*2^1002046-1 is not prime. Res64: 03F24F0E607D5DA6 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:51:05] 889*2^1002045-1 is not prime. Res64: 6EF6BE362F8AFB0A Time : 0.0 sec. user=mdettweiler [2012-01-20 05:51:05] 969*2^1002045-1 is not prime. Res64: 85D3303E9446822C Time : 0.0 sec. user=mdettweiler [2012-01-20 05:53:55] 695*2^1002046-1 is not prime. Res64: 592CB0392715D91F Time : 0.0 sec. user=mdettweiler [2012-01-20 05:53:56] 705*2^1002046-1 is not prime. Res64: 26E7DD6E843BB9A3 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:56:54] 755*2^1002046-1 is not prime. Res64: 4AD5786600E60EF1 Time : 0.0 sec. user=mdettweiler [2012-01-20 05:56:54] 773*2^1002046-1 is not prime. Res64: 6D5C55FD9A55E66A Time : 0.0 sec. user=mdettweiler [2012-01-20 06:07:45] 795*2^1002041-1 is not prime. Res64: A65FE5CEF0D70EE0 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:07:45] 799*2^1002041-1 is not prime. Res64: C42FDC79CDF8720D Time : 0.0 sec. user=mdettweiler [2012-01-20 06:10:18] 897*2^1002046-1 is not prime. Res64: BB137B15DF3FDE6C Time : 0.0 sec. user=mdettweiler [2012-01-20 06:10:19] 917*2^1002046-1 is not prime. Res64: BD9B5F4A6E1D6C92 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:13:04] 947*2^1002046-1 is not prime. Res64: 251721BEB118D239 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:13:05] 729*2^1002047-1 is not prime. Res64: 48550FF25DF108F3 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:13:39] 753*2^1002047-1 is not prime. Res64: 4C5CADD3AC12AD67 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:13:40] 871*2^1002047-1 is not prime. Res64: D2E717C16A13726E Time : 0.0 sec. user=mdettweiler [2012-01-20 06:18:54] 981*2^1002047-1 is not prime. Res64: 45625F4E94333F06 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:18:55] 669*2^1002048-1 is not prime. Res64: 9AE1CEDAA6008CFE Time : 0.0 sec. user=mdettweiler [2012-01-20 06:27:57] 939*2^1002041-1 is not prime. Res64: 933E8927EF056857 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:27:58] 627*2^1002042-1 is not prime. Res64: 2BE932A076E58E4F Time : 0.0 sec. user=mdettweiler [2012-01-20 06:30:04] 845*2^1002048-1 is not prime. Res64: F69C7D874AE7856F Time : 0.0 sec. user=mdettweiler [2012-01-20 06:30:04] 875*2^1002048-1 is not prime. Res64: F59FB2BF5CC1C99E Time : 0.0 sec. user=mdettweiler [2012-01-20 06:33:26] 601*2^1002049-1 is not prime. Res64: BCF2F2AC62556127 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:33:26] 675*2^1002049-1 is not prime. Res64: 9B5CECBA8248B653 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:35:01] 915*2^1002048-1 is not prime. Res64: 4990231270C1984C Time : 0.0 sec. user=mdettweiler [2012-01-20 06:35:02] 945*2^1002048-1 is not prime. Res64: 92ED9C95186526CF Time : 0.0 sec. user=mdettweiler [2012-01-20 06:35:31] 723*2^1002043-1 is not prime. Res64: 806E66925000AA1F Time : 0.0 sec. user=mdettweiler [2012-01-20 06:35:31] 819*2^1002043-1 is not prime. Res64: 97BF2C3A6878953D Time : 0.0 sec. user=mdettweiler [2012-01-20 06:38:37] 745*2^1002049-1 is not prime. Res64: E1BBCB55850A22F3 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:38:38] 769*2^1002049-1 is not prime. Res64: 39A37102C284A849 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:49:46] 867*2^1002049-1 is not prime. Res64: AFB7CECA47D0D30A Time : 0.0 sec. user=mdettweiler [2012-01-20 06:49:47] 885*2^1002049-1 is not prime. Res64: A61EF8BA44729CFF Time : 0.0 sec. user=mdettweiler [2012-01-20 06:53:08] 909*2^1002049-1 is not prime. Res64: 87A197624CB2FA54 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:53:08] 627*2^1002050-1 is not prime. Res64: 4A3BA61EA120B522 Time : 0.0 sec. user=mdettweiler [2012-01-20 06:54:45] 851*2^1002050-1 is not prime. Res64: 8CB8537E64CB1C0A Time : 0.0 sec. user=mdettweiler [2012-01-20 06:54:45] 885*2^1002050-1 is not prime. Res64: 3E88170F1B31AF5D Time : 0.0 sec. user=mdettweiler [2012-01-20 07:00:38] 923*2^1002050-1 is not prime. Res64: 08AB3E88F0E66D68 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:00:44] 935*2^1002050-1 is not prime. Res64: 625E5C9A02ED653F Time : 0.0 sec. user=mdettweiler [2012-01-20 07:05:59] 801*2^1002046-1 is not prime. Res64: 0500888E2F3DEAC5 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:06:00] 873*2^1002046-1 is not prime. Res64: DCDE9C4DB1C76354 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:11:44] 941*2^1002050-1 is not prime. Res64: E08484379CE22EDB Time : 0.0 sec. user=mdettweiler [2012-01-20 07:11:45] 649*2^1002051-1 is not prime. Res64: CA93BED3B1EC3F74 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:12:50] 691*2^1002051-1 is not prime. Res64: CE9047D4525C1AE9 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:12:51] 709*2^1002051-1 is not prime. Res64: 8DFF185691E1D11F Time : 0.0 sec. user=mdettweiler [2012-01-20 07:14:31] 751*2^1002051-1 is not prime. Res64: 71E85E70DA3475D5 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:14:32] 793*2^1002051-1 is not prime. Res64: 043E454C21080248 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:20:30] 891*2^1002051-1 is not prime. Res64: 1CD95B5E8896F727 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:20:31] 903*2^1002051-1 is not prime. Res64: E663531D91D460EA Time : 0.0 sec. user=mdettweiler [2012-01-20 07:32:43] 735*2^1002053-1 is not prime. Res64: 257E2DF91DA047CD Time : 0.0 sec. user=mdettweiler [2012-01-20 07:32:43] 747*2^1002053-1 is not prime. Res64: B89CC00E20BFF3EA Time : 0.0 sec. user=mdettweiler [2012-01-20 07:33:49] 989*2^1002052-1 is not prime. Res64: DE5B077F190B1EE6 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:33:50] 727*2^1002053-1 is not prime. Res64: 8787E1DE240A416B Time : 0.0 sec. user=mdettweiler [2012-01-20 07:34:22] 775*2^1002053-1 is not prime. Res64: 716DF8237FBEB393 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:34:23] 795*2^1002053-1 is not prime. Res64: 356E43AE73E4E6FC Time : 0.0 sec. user=mdettweiler [2012-01-20 07:34:23] 767*2^1002048-1 is not prime. Res64: 6D0450FAFF43CA9B Time : 0.0 sec. user=mdettweiler [2012-01-20 07:34:23] 795*2^1002048-1 is not prime. Res64: F623DC1AC76B3161 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:40:17] 855*2^1002053-1 is not prime. Res64: 40DC774E51FF5860 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:40:17] 867*2^1002053-1 is not prime. Res64: B77E02E36A7183FF Time : 0.0 sec. user=mdettweiler [2012-01-20 07:53:30] 677*2^1002054-1 is not prime. Res64: 3C53BA8B7FF4639D Time : 0.0 sec. user=mdettweiler [2012-01-20 07:53:31] 711*2^1002054-1 is not prime. Res64: 3406B026A6BCE2F7 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:53:59] 831*2^1002049-1 is not prime. Res64: CE42F6B6C621C242 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:53:59] 847*2^1002049-1 is not prime. Res64: 9A9871BE5D8C2C33 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:54:04] 815*2^1002054-1 is not prime. Res64: 92C25B6FF51E9243 Time : 0.0 sec. user=mdettweiler [2012-01-20 07:54:05] 903*2^1002054-1 is not prime. Res64: 774CD51B31BB27DF Time : 0.0 sec. user=mdettweiler [2012-01-20 07:54:41] 955*2^1002053-1 is not prime. Res64: 298630B0F594642E Time : 0.0 sec. user=mdettweiler [2012-01-20 07:54:41] 611*2^1002054-1 is not prime. Res64: C4455DEF5EEFE8DB Time : 0.0 sec. user=mdettweiler [2012-01-20 08:00:01] 829*2^1002055-1 is not prime. Res64: 0CB0D86CB671B202 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:00:01] 859*2^1002055-1 is not prime. Res64: 2D2D246989B4C483 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:01:24] 887*2^1002050-1 is not prime. Res64: CA182BA24D92C984 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:01:27] 911*2^1002050-1 is not prime. Res64: AA3CB47C6A36A1FD Time : 0.0 sec. user=mdettweiler [2012-01-20 08:13:14] 717*2^1002056-1 is not prime. Res64: 589755DC2CEB1FDD Time : 0.0 sec. user=mdettweiler [2012-01-20 08:13:16] 755*2^1002056-1 is not prime. Res64: CBAED492931B7F52 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:14:23] 751*2^1002057-1 is not prime. Res64: A3BBC70AAF7C4DF5 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:14:24] 805*2^1002057-1 is not prime. Res64: 08A8434696125E64 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:16:02] 969*2^1002056-1 is not prime. Res64: FBA84ECEA1E8A360 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:16:03] 691*2^1002057-1 is not prime. Res64: 0CBD24C0F6087DB6 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:19:45] 829*2^1002057-1 is not prime. Res64: 42522D8F5C8BD321 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:19:45] 847*2^1002057-1 is not prime. Res64: 0171A0B0739E94C3 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:34:04] 605*2^1002058-1 is not prime. Res64: 58B30301CCD6E5BE Time : 0.0 sec. user=mdettweiler [2012-01-20 08:34:04] 611*2^1002058-1 is not prime. Res64: A0BF0F967534225A Time : 0.0 sec. user=mdettweiler [2012-01-20 08:35:17] 867*2^1002057-1 is not prime. Res64: A8B5045D9FF1949E Time : 0.0 sec. user=mdettweiler [2012-01-20 08:35:18] 937*2^1002057-1 is not prime. Res64: DC2905F7F042CD4B Time : 0.0 sec. user=mdettweiler [2012-01-20 08:35:43] 621*2^1002058-1 is not prime. Res64: 7B8178275C314591 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:35:43] 657*2^1002058-1 is not prime. Res64: 6FB1371D7ED38C2B Time : 0.0 sec. user=mdettweiler [2012-01-20 08:35:56] 687*2^1002052-1 is not prime. Res64: D4F9F8BC53827069 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:35:56] 897*2^1002052-1 is not prime. Res64: 5F6D53C3D3A7CC60 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:39:30] 681*2^1002058-1 is not prime. Res64: 85762CB6D7EEF05B Time : 0.0 sec. user=mdettweiler [2012-01-20 08:39:30] 735*2^1002058-1 is not prime. Res64: FBDDAB7F4C27C544 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:53:53] 801*2^1002058-1 is not prime. Res64: 2B87260C7A24FFE3 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:53:54] 825*2^1002058-1 is not prime. Res64: 1C3877A352AC1AEA Time : 0.0 sec. user=mdettweiler [2012-01-20 08:55:25] 733*2^1002059-1 is not prime. Res64: BD676FDD12DFF628 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:55:25] 789*2^1002059-1 is not prime. Res64: 6F19CA007CF4746A Time : 0.0 sec. user=mdettweiler [2012-01-20 08:57:17] 911*2^1002058-1 is not prime. Res64: 8F6D53DB4426A42F Time : 0.0 sec. user=mdettweiler [2012-01-20 08:57:17] 945*2^1002058-1 is not prime. Res64: CAC6904BC54AFEBE Time : 0.0 sec. user=mdettweiler [2012-01-20 08:59:10] 843*2^1002059-1 is not prime. Res64: E9EA82ACE21F4525 Time : 0.0 sec. user=mdettweiler [2012-01-20 08:59:11] 883*2^1002059-1 is not prime. Res64: 3864CF9300CBDC81 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:11:38] 971*2^1002054-1 is not prime. Res64: B36ADEAF97D1FE06 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:11:40] 679*2^1002055-1 is not prime. Res64: BB50862774C370EF Time : 0.0 sec. user=mdettweiler [2012-01-20 09:15:53] 913*2^1002059-1 is not prime. Res64: 90D80803298621EE Time : 0.0 sec. user=mdettweiler [2012-01-20 09:15:53] 955*2^1002059-1 is not prime. Res64: 3774699D42DB9B34 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:16:59] 825*2^1002060-1 is not prime. Res64: 47B16BA1AE10EAD7 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:16:59] 845*2^1002060-1 is not prime. Res64: 2433A864110063C8 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:17:31] 973*2^1002059-1 is not prime. Res64: 96A752F4B0A70B5F Time : 0.0 sec. user=mdettweiler [2012-01-20 09:17:31] 693*2^1002060-1 is not prime. Res64: 947D036D2043482F Time : 0.0 sec. user=mdettweiler [2012-01-20 09:17:42] 803*2^1002056-1 is not prime. Res64: 292ABE438583E857 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:17:42] 857*2^1002056-1 is not prime. Res64: 584A0949D24CAD73 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:18:56] 879*2^1002060-1 is not prime. Res64: 2C22991901924BF5 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:18:56] 601*2^1002061-1 is not prime. Res64: DAEB263D9E651CDE Time : 0.0 sec. user=mdettweiler [2012-01-20 09:35:37] 771*2^1002061-1 is not prime. Res64: 8CDE40E7EE4434C3 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:35:38] 859*2^1002061-1 is not prime. Res64: F9467478C1F8EB1B Time : 0.0 sec. user=mdettweiler [2012-01-20 09:37:14] 683*2^1002062-1 is not prime. Res64: 7A58093919A816DF Time : 0.0 sec. user=mdettweiler [2012-01-20 09:37:14] 755*2^1002062-1 is not prime. Res64: 731C55A244DDE077 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:38:40] 875*2^1002062-1 is not prime. Res64: 19EC732218BDD90A Time : 0.0 sec. user=mdettweiler [2012-01-20 09:38:40] 887*2^1002062-1 is not prime. Res64: 148385B67FC2D87F Time : 0.0 sec. user=mdettweiler [2012-01-20 09:38:54] 999*2^1002061-1 is not prime. Res64: 6EF7279044299696 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:38:54] 635*2^1002062-1 is not prime. Res64: 39A6A24AB9A189EF Time : 0.0 sec. user=mdettweiler [2012-01-20 09:58:23] 609*2^1002063-1 is not prime. Res64: 09555821B1D47769 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:58:23] 693*2^1002063-1 is not prime. Res64: 0B3BD5EBA9D02CE0 Time : 0.0 sec. user=mdettweiler [2012-01-20 09:58:42] 703*2^1002063-1 is not prime. Res64: 8BE5757B1BA0108D Time : 0.0 sec. user=mdettweiler [2012-01-20 09:58:43] 709*2^1002063-1 is not prime. Res64: 29D24573A6DA281B Time : 0.0 sec. user=mdettweiler [2012-01-20 10:00:06] 935*2^1002062-1 is not prime. Res64: 5B92F22FCC7E06C2 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:00:11] 945*2^1002062-1 is not prime. Res64: 4C748BB47A0548C5 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:01:29] 963*2^1002062-1 is not prime. Res64: 41B6A9E77C799B01 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:01:30] 965*2^1002062-1 is not prime. Res64: 42974411393D5E0D Time : 0.0 sec. user=mdettweiler [2012-01-20 10:04:23] 801*2^1002059-1 is not prime. Res64: B5976B44767D2B89 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:04:25] 813*2^1002059-1 is not prime. Res64: 6EEDF63FDCBEAE11 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:18:09] 825*2^1002063-1 is not prime. Res64: 46AF5EDD4CC3E750 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:18:09] 853*2^1002063-1 is not prime. Res64: A4DB5B9D270E7D73 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:18:29] 693*2^1002064-1 is not prime. Res64: 8B618E041C651336 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:18:29] 743*2^1002064-1 is not prime. Res64: B99FD1EF70D0F9AF Time : 0.0 sec. user=mdettweiler [2012-01-20 10:21:12] 837*2^1002065-1 is not prime. Res64: 59634EDC108358BA Time : 0.0 sec. user=mdettweiler [2012-01-20 10:21:13] 841*2^1002065-1 is not prime. Res64: D3AE77ACD72DCDE6 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:22:13] 849*2^1002064-1 is not prime. Res64: 8DF2912CC749AA44 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:22:13] 995*2^1002064-1 is not prime. Res64: CDC19BB7E39E65CF Time : 0.0 sec. user=mdettweiler [2012-01-20 10:31:11] 609*2^1002061-1 is not prime. Res64: E0821D1D1A19F220 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:31:12] 739*2^1002063-1 is not prime. Res64: 0C91A1DBE305E88E Time : 0.0 sec. user=mdettweiler [2012-01-20 10:33:43] 857*2^1001870-1 is not prime. Res64: C4AC7CC3F236096E Time : 0.0 sec. user=mdettweiler [2012-01-20 10:33:53] 923*2^1001870-1 is not prime. Res64: 4A42F1E23A592EBF Time : 0.0 sec. user=mdettweiler [2012-01-20 10:37:54] 861*2^1002066-1 is not prime. Res64: 736994A68AC64F9D Time : 0.0 sec. user=mdettweiler [2012-01-20 10:37:55] 873*2^1002066-1 is not prime. Res64: A92654603DBC469D Time : 0.0 sec. user=mdettweiler [2012-01-20 10:38:12] 633*2^1002067-1 is not prime. Res64: B3BB9E9FCCEB43C8 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:38:12] 885*2^1002067-1 is not prime. Res64: 346B608EC10C7C36 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:40:59] 913*2^1002067-1 is not prime. Res64: 778A1348BB31FB5A Time : 0.0 sec. user=mdettweiler [2012-01-20 10:41:00] 919*2^1002067-1 is not prime. Res64: 36BC0524CC674304 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:41:14] 681*2^1002069-1 is not prime. Res64: AD0EA6A93EF4D17F Time : 0.0 sec. user=mdettweiler [2012-01-20 10:42:05] 825*2^1002062-1 is not prime. Res64: 25C04B8BF704C9E0 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:42:05] 831*2^1002062-1 is not prime. Res64: 6F7F1CB8F2938238 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:42:50] 953*2^1002068-1 is not prime. Res64: DC6CF74FDE493DE1 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:44:12] 945*2^1002067-1 is not prime. Res64: BAAB7D9FEBF6CF66 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:44:13] 615*2^1002068-1 is not prime. Res64: DB338E0E76D058CC Time : 0.0 sec. user=mdettweiler [2012-01-20 10:49:30] 843*2^1002070-1 is not prime. Res64: EB0EB91755CDF7FE Time : 0.0 sec. user=mdettweiler [2012-01-20 10:53:00] 951*2^1002070-1 is not prime. Res64: 5B9F73DD9D80E0E8 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:56:58] 669*2^1002071-1 is not prime. Res64: 51383C5AA2E8E998 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:57:55] 653*2^1002070-1 is not prime. Res64: B1AD00381BAD15E3 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:57:55] 663*2^1002070-1 is not prime. Res64: 8C52E9FA6E8194D7 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:59:55] 895*2^1002069-1 is not prime. Res64: F8B81A278ABBBB75 Time : 0.0 sec. user=mdettweiler [2012-01-20 10:59:55] 945*2^1002069-1 is not prime. Res64: 7D3774F822F79111 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:00:44] 713*2^1002070-1 is not prime. Res64: 0AFDBF919010C81B Time : 0.0 sec. user=mdettweiler [2012-01-20 11:00:45] 773*2^1002070-1 is not prime. Res64: 1ED2DCA863948519 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:02:07] 981*2^1002071-1 is not prime. Res64: 419254B409B7B080 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:06:02] 991*2^1002071-1 is not prime. Res64: D138CEF94728EC52 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:06:13] 1001*2^1002070-1 is not prime. Res64: F170028719F805EC Time : 0.0 sec. user=mdettweiler [2012-01-20 11:06:15] 621*2^1002071-1 is not prime. Res64: B7D01CED2C7633F3 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:09:27] 687*2^1002073-1 is not prime. Res64: C4004F334D897B80 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:13:30] 705*2^1002073-1 is not prime. Res64: AFFA949448F22E60 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:16:57] 861*2^1002074-1 is not prime. Res64: CDF1E77924A3CB9D Time : 0.0 sec. user=mdettweiler [2012-01-20 11:17:35] 627*2^1002072-1 is not prime. Res64: 08B4B580A43C5CF9 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:17:36] 689*2^1002072-1 is not prime. Res64: 1621A0BECE1D0E56 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:18:45] 717*2^1002061-1 is not prime. Res64: 33FFCB240F44AE91 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:19:39] 803*2^1002072-1 is not prime. Res64: DD58DFAB9BFD32E4 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:19:39] 887*2^1002072-1 is not prime. Res64: 5D327795F93E46E4 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:22:34] 971*2^1002074-1 is not prime. Res64: 0707121AB0421F8F Time : 0.0 sec. user=mdettweiler [2012-01-20 11:22:46] 999*2^1002072-1 is not prime. Res64: 84B008C8CFFA10CA Time : 0.0 sec. user=mdettweiler [2012-01-20 11:22:46] 679*2^1002073-1 is not prime. Res64: 2072FBD7A2263F64 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:26:00] 987*2^1002074-1 is not prime. Res64: F78D2A3ED5CB31FD Time : 0.0 sec. user=mdettweiler [2012-01-20 11:28:16] 861*2^1002073-1 is not prime. Res64: 6CB5F79D13E8BB76 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:28:17] 979*2^1002073-1 is not prime. Res64: 780D0D16E718060B Time : 0.0 sec. user=mdettweiler [2012-01-20 11:29:53] 895*2^1002075-1 is not prime. Res64: CD6F6F7EABFEA92D Time : 0.0 sec. user=mdettweiler [2012-01-20 11:33:19] 749*2^1002076-1 is not prime. Res64: 1632D0F095111428 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:37:23] 619*2^1002075-1 is not prime. Res64: 9C7DAA08942CFC05 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:37:23] 663*2^1002075-1 is not prime. Res64: 16A2A6364DE0EC50 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:38:58] 987*2^1002076-1 is not prime. Res64: 23D270B2295A52FD Time : 0.0 sec. user=mdettweiler [2012-01-20 11:39:24] 805*2^1002075-1 is not prime. Res64: 575B03C1B77BCBEE Time : 0.0 sec. user=mdettweiler [2012-01-20 11:39:24] 829*2^1002075-1 is not prime. Res64: 56A7C87D989CDBC4 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:40:39] 631*2^1002077-1 is not prime. Res64: F744B3FC935AB1D3 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:44:16] 823*2^1002063-1 is not prime. Res64: A34F648ED642D627 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:44:45] 963*2^1002075-1 is not prime. Res64: D17E392C764BA8CC Time : 0.0 sec. user=mdettweiler [2012-01-20 11:44:45] 653*2^1002076-1 is not prime. Res64: B082D511B74B1590 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:46:19] 663*2^1002078-1 is not prime. Res64: C2B5F0EDFF53A806 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:48:01] 777*2^1002078-1 is not prime. Res64: 5B7D6A1362E8600A Time : 0.0 sec. user=mdettweiler [2012-01-20 11:50:14] 869*2^1002076-1 is not prime. Res64: 78705E0330EBE1CB Time : 0.0 sec. user=mdettweiler [2012-01-20 11:50:14] 927*2^1002076-1 is not prime. Res64: 4AA246E8CB871669 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:53:39] 853*2^1002079-1 is not prime. Res64: F8DCEA229C7C3B6C Time : 0.0 sec. user=mdettweiler [2012-01-20 11:55:21] 889*2^1002079-1 is not prime. Res64: B602213832D9EA90 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:57:05] 741*2^1002077-1 is not prime. Res64: 416516C5FDE81AEB Time : 0.0 sec. user=mdettweiler [2012-01-20 11:57:06] 831*2^1002077-1 is not prime. Res64: 3ED6C640273CF5BD Time : 0.0 sec. user=mdettweiler [2012-01-20 11:59:10] 711*2^1002078-1 is not prime. Res64: F59E2DC7B20214C0 Time : 0.0 sec. user=mdettweiler [2012-01-20 11:59:10] 755*2^1002078-1 is not prime. Res64: 945998B307D889ED Time : 0.0 sec. user=mdettweiler [2012-01-20 12:01:00] 725*2^1002080-1 is not prime. Res64: AB27B5250301868A Time : 0.0 sec. user=mdettweiler [2012-01-20 12:02:41] 777*2^1002080-1 is not prime. Res64: E6756616764A9C05 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:06:43] 993*2^1002078-1 is not prime. Res64: BB4FB6147C71E1FE Time : 0.0 sec. user=mdettweiler [2012-01-20 12:06:43] 619*2^1002079-1 is not prime. Res64: 2E3B183CC14E128A Time : 0.0 sec. user=mdettweiler [2012-01-20 12:08:20] 781*2^1002081-1 is not prime. Res64: DC5A0B69148688E8 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:09:57] 919*2^1002079-1 is not prime. Res64: 4F4C13CFE8C18C37 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:09:58] 635*2^1002080-1 is not prime. Res64: CD9D3154F6170AFF Time : 0.0 sec. user=mdettweiler [2012-01-20 12:10:03] 835*2^1002081-1 is not prime. Res64: E552337D0306B84B Time : 0.0 sec. user=mdettweiler [2012-01-20 12:15:43] 651*2^1002082-1 is not prime. Res64: B04AB90AFBC17DB8 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:15:44] 855*2^1002070-1 is not prime. Res64: D9192741D90864B1 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:15:44] 941*2^1002070-1 is not prime. Res64: 8866DB3EEAEB8B52 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:16:43] 789*2^1002080-1 is not prime. Res64: 5EA4113047A7F0C8 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:16:44] 875*2^1002080-1 is not prime. Res64: A7886B3E26D950B6 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:16:54] 987*2^1002065-1 is not prime. Res64: 0DFBF6258DD9C622 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:16:54] 735*2^1002066-1 is not prime. Res64: 71167B627AF259AF Time : 0.0 sec. user=mdettweiler [2012-01-20 12:17:24] 743*2^1002082-1 is not prime. Res64: 42BCE9F09E07DAB2 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:18:49] 709*2^1002081-1 is not prime. Res64: 90C0F122242E822E Time : 0.0 sec. user=mdettweiler [2012-01-20 12:18:49] 745*2^1002081-1 is not prime. Res64: C55C0634004B1FF2 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:23:03] 827*2^1002082-1 is not prime. Res64: 8B5C4B8EB27A11C6 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:24:44] 901*2^1002083-1 is not prime. Res64: 09607EEBB998C558 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:26:27] 847*2^1002081-1 is not prime. Res64: 370A5968EF447384 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:26:28] 895*2^1002081-1 is not prime. Res64: 0C7DF37A6F254A70 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:29:37] 677*2^1002082-1 is not prime. Res64: A24AE82C5BE420CC Time : 0.0 sec. user=mdettweiler [2012-01-20 12:29:39] 681*2^1002082-1 is not prime. Res64: 76CCA67CDD85C09A Time : 0.0 sec. user=mdettweiler [2012-01-20 12:30:22] 767*2^1002084-1 is not prime. Res64: B43B00BF3C77CABD Time : 0.0 sec. user=mdettweiler [2012-01-20 12:32:05] 789*2^1002084-1 is not prime. Res64: EBD52BBC8E096918 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:37:43] 717*2^1002086-1 is not prime. Res64: 713BF8091C6848A8 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:38:33] 705*2^1002084-1 is not prime. Res64: 62A748D304013856 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:38:34] 737*2^1002084-1 is not prime. Res64: A013F1C1DF33251A Time : 0.0 sec. user=mdettweiler [2012-01-20 12:38:40] 987*2^1002082-1 is not prime. Res64: 6901E1DB3D254840 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:38:41] 609*2^1002083-1 is not prime. Res64: D0171640B5F3E188 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:39:25] 743*2^1002086-1 is not prime. Res64: C8164D0D8564CDDB Time : 0.0 sec. user=mdettweiler [2012-01-20 12:45:04] 773*2^1002086-1 is not prime. Res64: 454A339FE5CDA5F2 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:46:46] 661*2^1002087-1 is not prime. Res64: 61E5D5378FC1E185 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:47:10] 685*2^1002075-1 is not prime. Res64: 92A1D23852AC217C Time : 0.0 sec. user=mdettweiler [2012-01-20 12:47:11] 753*2^1002075-1 is not prime. Res64: 821B4517065D10EA Time : 0.0 sec. user=mdettweiler [2012-01-20 12:48:27] 885*2^1002085-1 is not prime. Res64: 54A8FEE2F14AD1BA Time : 0.0 sec. user=mdettweiler [2012-01-20 12:48:27] 987*2^1002085-1 is not prime. Res64: 0FC738EF696711B4 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:49:29] 603*2^1002086-1 is not prime. Res64: 7B31B778FCBFC783 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:49:29] 671*2^1002086-1 is not prime. Res64: C8A60A59A44CD8F5 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:52:25] 685*2^1002087-1 is not prime. Res64: 36761DC837902BC9 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:54:06] 709*2^1002087-1 is not prime. Res64: 416DBF2E50A853A0 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:58:22] 857*2^1002086-1 is not prime. Res64: DDA7417A1427604A Time : 0.0 sec. user=mdettweiler [2012-01-20 12:58:23] 873*2^1002086-1 is not prime. Res64: 39E6603CC8183E86 Time : 0.0 sec. user=mdettweiler [2012-01-20 12:58:25] 887*2^1002086-1 is not prime. Res64: F4798A24AE9ED00A Time : 0.0 sec. user=mdettweiler [2012-01-20 12:58:25] 651*2^1002087-1 is not prime. Res64: 5760E1FB1513AD7B Time : 0.0 sec. user=mdettweiler [2012-01-20 12:59:45] 603*2^1002088-1 is not prime. Res64: 91D3A3E1642B8588 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:01:27] 605*2^1002088-1 is not prime. Res64: F3F9FE835005692E Time : 0.0 sec. user=mdettweiler [2012-01-20 13:07:03] 923*2^1002088-1 is not prime. Res64: 2704F85E61AE8B24 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:08:57] 601*2^1002089-1 is not prime. Res64: 9340ACD22BB5CA2A Time : 0.0 sec. user=mdettweiler [2012-01-20 13:10:28] 879*2^1002087-1 is not prime. Res64: 96750872C6544ADE Time : 0.0 sec. user=mdettweiler [2012-01-20 13:10:29] 951*2^1002087-1 is not prime. Res64: 354908871DCFDDC2 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:13:46] 961*2^1002087-1 is not prime. Res64: 370B15A7173DFC15 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:13:47] 999*2^1002087-1 is not prime. Res64: 97B5A09D549D8F75 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:14:24] 615*2^1002089-1 is not prime. Res64: A0AA25E83C95D32A Time : 0.0 sec. user=mdettweiler [2012-01-20 13:16:19] 631*2^1002089-1 is not prime. Res64: 7A78AF314A35F226 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:18:07] 615*2^1002088-1 is not prime. Res64: 96AD1B33157B7F96 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:18:07] 677*2^1002088-1 is not prime. Res64: 3EDE15F913C87517 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:18:12] 695*2^1002088-1 is not prime. Res64: AE34432A82C6BFA5 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:18:12] 819*2^1002088-1 is not prime. Res64: ED0828935EE4BA66 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:21:44] 925*2^1002089-1 is not prime. Res64: C6AF99FE1E292A27 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:23:56] 867*2^1002078-1 is not prime. Res64: 120F9C7C203BA1C8 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:23:57] 963*2^1002078-1 is not prime. Res64: D423FACE0558C657 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:25:21] 985*2^1002089-1 is not prime. Res64: 2ACB54DE0686187A Time : 0.0 sec. user=mdettweiler [2012-01-20 13:29:02] 639*2^1002091-1 is not prime. Res64: 7B0467D7C1FF2B51 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:30:13] 685*2^1002089-1 is not prime. Res64: 4424801CCB124E5D Time : 0.0 sec. user=mdettweiler [2012-01-20 13:30:14] 747*2^1002089-1 is not prime. Res64: C302C580C8C0653D Time : 0.0 sec. user=mdettweiler [2012-01-20 13:33:29] 787*2^1002089-1 is not prime. Res64: EE909C2726146A4E Time : 0.0 sec. user=mdettweiler [2012-01-20 13:33:30] 789*2^1002089-1 is not prime. Res64: 3847EC727F4347AE Time : 0.0 sec. user=mdettweiler [2012-01-20 13:34:24] 939*2^1002091-1 is not prime. Res64: 3C4BFA48CD5823F2 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:36:22] 633*2^1002092-1 is not prime. Res64: 80CF2D1681F08AF1 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:37:49] 713*2^1002090-1 is not prime. Res64: 995CFECE10D11B0A Time : 0.0 sec. user=mdettweiler [2012-01-20 13:37:49] 887*2^1002090-1 is not prime. Res64: E87C4C5A6CD04749 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:37:54] 891*2^1002090-1 is not prime. Res64: FBBCF72CFE67C023 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:37:54] 625*2^1002091-1 is not prime. Res64: E420165811E8CF5E Time : 0.0 sec. user=mdettweiler [2012-01-20 13:41:45] 829*2^1002093-1 is not prime. Res64: 6C8A95961FB03D9D Time : 0.0 sec. user=mdettweiler [2012-01-20 13:42:34] 885*2^1002082-1 is not prime. Res64: 6B0178DF869BA0D6 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:42:34] 917*2^1002082-1 is not prime. Res64: EDD14869E13DF5AF Time : 0.0 sec. user=mdettweiler [2012-01-20 13:44:32] 705*2^1002083-1 is not prime. Res64: A8AB184292C95024 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:44:32] 745*2^1002083-1 is not prime. Res64: D7CFD081E56637A0 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:45:27] 951*2^1002093-1 is not prime. Res64: F8DAD1B142362909 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:49:05] 885*2^1002094-1 is not prime. Res64: C2ECEEC59DFF8541 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:50:00] 735*2^1002092-1 is not prime. Res64: EDBB3B16A59A2374 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:50:01] 827*2^1002092-1 is not prime. Res64: 3D06412025959752 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:52:48] 909*2^1002095-1 is not prime. Res64: 1B31A763B0DA41ED Time : 0.0 sec. user=mdettweiler [2012-01-20 13:55:28] 935*2^1002092-1 is not prime. Res64: 333CFFD2D63E0C62 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:55:28] 747*2^1002093-1 is not prime. Res64: 589D0B0CFDAAACDA Time : 0.0 sec. user=mdettweiler [2012-01-20 13:57:39] 833*2^1002094-1 is not prime. Res64: 2AEB37B5D562DB3F Time : 0.0 sec. user=mdettweiler [2012-01-20 13:57:39] 881*2^1002094-1 is not prime. Res64: 697805F61ECA9C9F Time : 0.0 sec. user=mdettweiler [2012-01-20 13:58:11] 985*2^1002095-1 is not prime. Res64: 5FDC7E9329107068 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:59:45] 969*2^1002093-1 is not prime. Res64: B4E4029BF04CEB62 Time : 0.0 sec. user=mdettweiler [2012-01-20 13:59:45] 611*2^1002094-1 is not prime. Res64: 423D0FE5FDD26451 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:00:07] 849*2^1002096-1 is not prime. Res64: C60D1E2184CB43A5 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:10:03] 675*2^1002096-1 is not prime. Res64: D5B10E15BF045A6A Time : 0.0 sec. user=mdettweiler [2012-01-20 14:10:04] 705*2^1002096-1 is not prime. Res64: 8FB15B2E493A917A Time : 0.0 sec. user=mdettweiler [2012-01-20 14:13:17] 711*2^1002087-1 is not prime. Res64: 9456C8F4E785DF9D Time : 0.0 sec. user=mdettweiler [2012-01-20 14:13:17] 781*2^1002087-1 is not prime. Res64: BD2DE02EB8ABE83D Time : 0.0 sec. user=mdettweiler [2012-01-20 14:15:47] 923*2^1002096-1 is not prime. Res64: E3EC7691E93EF02F Time : 0.0 sec. user=mdettweiler [2012-01-20 14:15:47] 741*2^1002097-1 is not prime. Res64: 6C7DA149B38E2AC0 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:20:19] 747*2^1002098-1 is not prime. Res64: 58C7495391F7E5A2 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:20:20] 797*2^1002098-1 is not prime. Res64: A4DB120F14F69613 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:20:22] 799*2^1002097-1 is not prime. Res64: 3966B23CF2E21AE1 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:20:23] 937*2^1002097-1 is not prime. Res64: 77A76D0CA658A156 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:30:27] 857*2^1002098-1 is not prime. Res64: 348D17A16749D995 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:30:27] 867*2^1002098-1 is not prime. Res64: D53188A1977CC61A Time : 0.0 sec. user=mdettweiler [2012-01-20 14:35:37] 903*2^1002099-1 is not prime. Res64: 9ABF82A01A658606 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:35:38] 921*2^1002099-1 is not prime. Res64: 2C964A360BBDC854 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:40:10] 629*2^1002100-1 is not prime. Res64: F609D64FDC9882DF Time : 0.0 sec. user=mdettweiler [2012-01-20 14:40:11] 635*2^1002100-1 is not prime. Res64: 5948439309164514 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:42:24] 961*2^1002099-1 is not prime. Res64: 44AD225726CD1DFE Time : 0.0 sec. user=mdettweiler [2012-01-20 14:42:24] 609*2^1002100-1 is not prime. Res64: 20B48F661B10DFB7 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:50:11] 675*2^1002100-1 is not prime. Res64: 2285B29E9A698301 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:50:12] 677*2^1002100-1 is not prime. Res64: 3550F037F765117A Time : 0.0 sec. user=mdettweiler [2012-01-20 14:55:22] 765*2^1002100-1 is not prime. Res64: B802EF6283E89F61 Time : 0.0 sec. user=mdettweiler [2012-01-20 14:55:22] 863*2^1002100-1 is not prime. Res64: 98C9DF27FBD791A4 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:02:09] 607*2^1002101-1 is not prime. Res64: 0AECD1E2F9034E97 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:02:10] 627*2^1002101-1 is not prime. Res64: 5A3367A82C5E2A04 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:02:37] 651*2^1002091-1 is not prime. Res64: 499D748FC7CAB699 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:02:38] 813*2^1002091-1 is not prime. Res64: A94F8B5EA6733E8C Time : 0.0 sec. user=mdettweiler [2012-01-20 15:04:28] 927*2^1002100-1 is not prime. Res64: AD7D59763EECB047 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:04:30] 999*2^1002100-1 is not prime. Res64: 6CF204C8C12F899A Time : 0.0 sec. user=mdettweiler [2012-01-20 15:09:58] 789*2^1002101-1 is not prime. Res64: BDE45E6F0139D29F Time : 0.0 sec. user=mdettweiler [2012-01-20 15:09:59] 889*2^1002101-1 is not prime. Res64: A27A83FD1532B539 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:15:13] 711*2^1002102-1 is not prime. Res64: 7B3C6335601DF25D Time : 0.0 sec. user=mdettweiler [2012-01-20 15:15:13] 717*2^1002102-1 is not prime. Res64: 93F0198A594A56C2 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:24:12] 915*2^1002102-1 is not prime. Res64: 5B8F60A25AAE3FD3 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:24:12] 983*2^1002102-1 is not prime. Res64: 33DE992FB0D5EC4F Time : 0.0 sec. user=mdettweiler [2012-01-20 15:24:21] 789*2^1002095-1 is not prime. Res64: EBF33BE04D9B70FA Time : 0.0 sec. user=mdettweiler [2012-01-20 15:24:22] 843*2^1002095-1 is not prime. Res64: ACA9390CCFC973B5 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:26:34] 871*2^1002103-1 is not prime. Res64: A687A146AC6F211B Time : 0.0 sec. user=mdettweiler [2012-01-20 15:26:35] 933*2^1002103-1 is not prime. Res64: 719678D993220D8E Time : 0.0 sec. user=mdettweiler [2012-01-20 15:32:10] 951*2^1002103-1 is not prime. Res64: A934164F2C47BF5D Time : 0.0 sec. user=mdettweiler [2012-01-20 15:32:11] 623*2^1002104-1 is not prime. Res64: B78695DEBBAAD2D2 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:35:08] 665*2^1002104-1 is not prime. Res64: A13DA79421575688 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:35:08] 687*2^1002104-1 is not prime. Res64: AC33CBBCDE0B1095 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:37:13] 951*2^1002094-1 is not prime. Res64: AFF8BD25054D3D69 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:37:13] 619*2^1002095-1 is not prime. Res64: 72E0204F512F0337 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:44:24] 819*2^1002104-1 is not prime. Res64: 01A91E31243C5DD3 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:44:24] 875*2^1002104-1 is not prime. Res64: 901F660A30FA9982 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:46:54] 675*2^1002105-1 is not prime. Res64: F07CADB0FD0E3317 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:46:54] 705*2^1002105-1 is not prime. Res64: E71B9C6078B53720 Time : 0.0 sec. user=mdettweiler [2012-01-20 15:52:38] 711*2^1002105-1 is not prime. Res64: FAA2FDD604214B9F Time : 0.0 sec. user=mdettweiler [2012-01-20 15:52:38] 811*2^1002105-1 is not prime. Res64: 2EE3AF0B94538C4A Time : 0.0 sec. user=mdettweiler [2012-01-20 15:55:44] 817*2^1002105-1 is not prime. Res64: 26D49FEC663FF2EA Time : 0.0 sec. user=mdettweiler [2012-01-20 15:55:45] 895*2^1002105-1 is not prime. Res64: 4E68C335D4AD35F9 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:04:44] 755*2^1002106-1 is not prime. Res64: CD994853E4CAAAE1 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:04:45] 803*2^1002106-1 is not prime. Res64: 154B8C8A521C9F7A Time : 0.0 sec. user=mdettweiler [2012-01-20 16:07:14] 855*2^1002106-1 is not prime. Res64: 7E3793CC268612E1 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:07:14] 911*2^1002106-1 is not prime. Res64: 41B569B26112B6BC Time : 0.0 sec. user=mdettweiler [2012-01-20 16:15:33] 977*2^1002098-1 is not prime. Res64: CC82641A35C0603F Time : 0.0 sec. user=mdettweiler [2012-01-20 16:15:33] 1001*2^1002098-1 is not prime. Res64: D3136FBED5B86EB8 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:15:51] 651*2^1002107-1 is not prime. Res64: EC491E355FB87C3E Time : 0.0 sec. user=mdettweiler [2012-01-20 16:15:51] 805*2^1002107-1 is not prime. Res64: C51E8E94F2C1E7E7 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:17:36] 941*2^1002106-1 is not prime. Res64: 8458F969E5058012 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:17:36] 993*2^1002106-1 is not prime. Res64: D4FFBDE5812E38AA Time : 0.0 sec. user=mdettweiler [2012-01-20 16:27:15] 985*2^1002107-1 is not prime. Res64: 80D906F21C1EB418 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:27:16] 723*2^1002108-1 is not prime. Res64: 670B6BCFF116266F Time : 0.0 sec. user=mdettweiler [2012-01-20 16:27:32] 773*2^1002108-1 is not prime. Res64: 6CF2CC6C2C6AB92E Time : 0.0 sec. user=mdettweiler [2012-01-20 16:27:32] 837*2^1002108-1 is not prime. Res64: C203C1E2C09683E9 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:34:46] 735*2^1002103-1 is not prime. Res64: 6181B5AEB046D008 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:34:47] 853*2^1002103-1 is not prime. Res64: FAB5A683AFCE9398 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:38:15] 825*2^1002109-1 is not prime. Res64: 72C3F845F1743271 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:38:15] 877*2^1002109-1 is not prime. Res64: EB0F3B3D615725C7 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:40:48] 927*2^1002108-1 is not prime. Res64: 2C21787A6397179C Time : 0.0 sec. user=mdettweiler [2012-01-20 16:40:49] 975*2^1002108-1 is not prime. Res64: 5F27F8D7840C17D2 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:49:05] 917*2^1002104-1 is not prime. Res64: 9D5F1EA2A94F3DD2 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:50:11] 651*2^1002110-1 is not prime. Res64: E0A6359279EAE590 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:50:11] 951*2^1002110-1 is not prime. Res64: C26503AD6D3CF3EA Time : 0.0 sec. user=mdettweiler [2012-01-20 16:50:16] 977*2^1002110-1 is not prime. Res64: EC0F057F84D8DE13 Time : 0.0 sec. user=mdettweiler [2012-01-20 16:50:16] 609*2^1002111-1 is not prime. Res64: B27B156469D9EECD Time : 0.0 sec. user=mdettweiler [2012-01-20 16:58:11] 781*2^1002111-1 is not prime. Res64: 66A649F303D4ED5E Time : 0.0 sec. user=mdettweiler [2012-01-20 16:58:11] 789*2^1002111-1 is not prime. Res64: 39C1A959A1B0110A Time : 0.0 sec. user=mdettweiler [2012-01-20 17:03:08] 819*2^1002111-1 is not prime. Res64: 36B4D6340930C606 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:03:08] 961*2^1002111-1 is not prime. Res64: 26184BA56BF92873 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:10:05] 629*2^1002112-1 is not prime. Res64: 267D800BE4A3D18C Time : 0.0 sec. user=mdettweiler [2012-01-20 17:10:07] 735*2^1002112-1 is not prime. Res64: 5EE0E3CE047A2F13 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:10:10] 813*2^1002112-1 is not prime. Res64: 4156AB721968030E Time : 0.0 sec. user=mdettweiler [2012-01-20 17:10:14] 827*2^1002112-1 is not prime. Res64: 14ECE8ED6D705CC8 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:16:26] 997*2^1002105-1 is not prime. Res64: B4F98413A94E80ED Time : 0.0 sec. user=mdettweiler [2012-01-20 17:16:27] 717*2^1002106-1 is not prime. Res64: 40C00E92E5B8BF65 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:18:03] 873*2^1002112-1 is not prime. Res64: 73BC98B36B555A30 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:18:03] 903*2^1002112-1 is not prime. Res64: 9D7D1A6D7E551559 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:25:24] 933*2^1002112-1 is not prime. Res64: F2EA1F3057CCB56E Time : 0.0 sec. user=mdettweiler [2012-01-20 17:25:24] 615*2^1002113-1 is not prime. Res64: 7F0956A6F232AAE0 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:30:11] 885*2^1002113-1 is not prime. Res64: 4F36C548BF36698A Time : 0.0 sec. user=mdettweiler [2012-01-20 17:30:11] 925*2^1002113-1 is not prime. Res64: 9C43EC5EEBAC126A Time : 0.0 sec. user=mdettweiler [2012-01-20 17:30:21] 621*2^1002114-1 is not prime. Res64: 69C0C3CF4DE5AA96 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:30:22] 677*2^1002114-1 is not prime. Res64: CFFCBE8A625E4217 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:38:00] 833*2^1002114-1 is not prime. Res64: BBDB3977DF28DFB3 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:38:00] 903*2^1002114-1 is not prime. Res64: 609366E08B03F40A Time : 0.0 sec. user=mdettweiler [2012-01-20 17:46:05] 959*2^1002104-1 is not prime. Res64: 2E5867526172CE48 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:47:54] 947*2^1002114-1 is not prime. Res64: B94F0CD6D2864EE6 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:47:54] 601*2^1002115-1 is not prime. Res64: 5EBDEA9DE6006471 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:50:18] 631*2^1002115-1 is not prime. Res64: 976FC56B126C7AD5 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:50:19] 639*2^1002115-1 is not prime. Res64: 25D2942A843ED108 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:50:41] 735*2^1002115-1 is not prime. Res64: 7985FCBDF0DA7FD3 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:50:41] 765*2^1002115-1 is not prime. Res64: CE08777A93863727 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:58:56] 843*2^1002115-1 is not prime. Res64: 76A67EDC4F672566 Time : 0.0 sec. user=mdettweiler [2012-01-20 17:58:56] 883*2^1002115-1 is not prime. Res64: C3669EA9832EDF61 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:08:30] 617*2^1002116-1 is not prime. Res64: 6C78788A5E7271F7 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:08:31] 699*2^1002116-1 is not prime. Res64: 28066558CAA546E4 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:11:06] 759*2^1002116-1 is not prime. Res64: 1B51D6EBA2AFB5DF Time : 0.0 sec. user=mdettweiler [2012-01-20 18:11:07] 837*2^1002116-1 is not prime. Res64: F6CBE940E9707B00 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:13:33] 843*2^1002116-1 is not prime. Res64: 3EB880519E6C46FA Time : 0.0 sec. user=mdettweiler [2012-01-20 18:13:33] 957*2^1002116-1 is not prime. Res64: 9B16812542E929C5 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:19:21] 667*2^1002117-1 is not prime. Res64: 7B9A940CC31E33ED Time : 0.0 sec. user=mdettweiler [2012-01-20 18:19:21] 669*2^1002117-1 is not prime. Res64: 56080B50AC23EB14 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:28:50] 717*2^1002117-1 is not prime. Res64: C43FE71370189843 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:28:50] 611*2^1002118-1 is not prime. Res64: 49A076F2DAF9CAF5 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:31:22] 875*2^1002108-1 is not prime. Res64: 44A38DDC35DF2E04 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:31:22] 899*2^1002108-1 is not prime. Res64: 35C562B99EA9F146 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:31:28] 645*2^1002118-1 is not prime. Res64: 29E3E02208440211 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:31:29] 647*2^1002118-1 is not prime. Res64: A30E5F66D45496DE Time : 0.0 sec. user=mdettweiler [2012-01-20 18:31:59] 613*2^1002111-1 is not prime. Res64: 69B81BE3C367FBCA Time : 0.0 sec. user=mdettweiler [2012-01-20 18:33:53] 777*2^1002118-1 is not prime. Res64: DEB6F15D7B34A697 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:33:54] 825*2^1002118-1 is not prime. Res64: B87728EE3251260A Time : 0.0 sec. user=mdettweiler [2012-01-20 18:39:34] 827*2^1002118-1 is not prime. Res64: 31671455AF5BB7C0 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:39:35] 843*2^1002118-1 is not prime. Res64: E857857996C6F120 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:47:44] 747*2^1002114-1 is not prime. Res64: 7181A5AC4415CB6C Time : 0.0 sec. user=mdettweiler [2012-01-20 18:47:44] 783*2^1002114-1 is not prime. Res64: 62FB8C66B0509F1B Time : 0.0 sec. user=mdettweiler [2012-01-20 18:49:09] 863*2^1002118-1 is not prime. Res64: 6820DAADF72174D6 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:49:09] 891*2^1002118-1 is not prime. Res64: CD95C5675CD6D00A Time : 0.0 sec. user=mdettweiler [2012-01-20 18:51:46] 619*2^1002119-1 is not prime. Res64: 7031FFAA3B0FE0E3 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:51:46] 645*2^1002119-1 is not prime. Res64: 2E4C9F232D6DDC8C Time : 0.0 sec. user=mdettweiler [2012-01-20 18:54:12] 655*2^1002119-1 is not prime. Res64: 0505709EB6E622FC Time : 0.0 sec. user=mdettweiler [2012-01-20 18:54:12] 703*2^1002119-1 is not prime. Res64: 91A3A18AB7EBDFD8 Time : 0.0 sec. user=mdettweiler [2012-01-20 18:59:55] 775*2^1002119-1 is not prime. Res64: 3809F299B8CB6B9A Time : 0.0 sec. user=mdettweiler [2012-01-20 18:59:55] 855*2^1002119-1 is not prime. Res64: AC96DE354037E41E Time : 0.0 sec. user=mdettweiler [2012-01-20 19:12:06] 615*2^1002120-1 is not prime. Res64: 974E089A321C6498 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:12:07] 635*2^1002120-1 is not prime. Res64: 17D417CCAD37A1C6 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:13:54] 949*2^1002119-1 is not prime. Res64: 99E1BF74B2626D34 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:13:54] 985*2^1002119-1 is not prime. Res64: F69697D1B0862E80 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:14:25] 707*2^1002120-1 is not prime. Res64: 6546AED510ED222B Time : 0.0 sec. user=mdettweiler [2012-01-20 19:14:26] 747*2^1002120-1 is not prime. Res64: 19917B9D0EB8D16F Time : 0.0 sec. user=mdettweiler [2012-01-20 19:20:15] 779*2^1002120-1 is not prime. Res64: 946D07A14586546F Time : 0.0 sec. user=mdettweiler [2012-01-20 19:20:16] 863*2^1002120-1 is not prime. Res64: 595A7B5855A7ED5A Time : 0.0 sec. user=mdettweiler [2012-01-20 19:34:36] 637*2^1002121-1 is not prime. Res64: 231AC0E13BC25742 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:34:36] 639*2^1002121-1 is not prime. Res64: 3AB4BC41D2C0B3D0 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:35:01] 681*2^1002121-1 is not prime. Res64: AE512B46B127EA0E Time : 0.0 sec. user=mdettweiler [2012-01-20 19:35:01] 751*2^1002121-1 is not prime. Res64: DA98EC7DFB51C366 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:35:13] 887*2^1002120-1 is not prime. Res64: 5289805CDBA6AE78 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:35:13] 933*2^1002120-1 is not prime. Res64: 155C1437C398EE7B Time : 0.0 sec. user=mdettweiler [2012-01-20 19:43:30] 799*2^1002121-1 is not prime. Res64: 8002BB7042CD6A1C Time : 0.0 sec. user=mdettweiler [2012-01-20 19:43:30] 955*2^1002121-1 is not prime. Res64: D05996F41D563C70 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:52:57] 879*2^1002119-1 is not prime. Res64: 70AD5A09B4EE368C Time : 0.0 sec. user=mdettweiler [2012-01-20 19:55:16] 731*2^1002122-1 is not prime. Res64: ACA9BED68A4B4EC9 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:55:17] 755*2^1002122-1 is not prime. Res64: B7509CC6033AB9D8 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:57:04] 999*2^1002121-1 is not prime. Res64: 5920DF7BA69C38D2 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:57:05] 705*2^1002122-1 is not prime. Res64: FCD8105A7C975729 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:57:43] 917*2^1002122-1 is not prime. Res64: 8A599D6A551D58E0 Time : 0.0 sec. user=mdettweiler [2012-01-20 19:57:43] 977*2^1002122-1 is not prime. Res64: 77B84923E12F2C3E Time : 0.0 sec. user=mdettweiler [2012-01-20 20:05:34] 995*2^1002122-1 is not prime. Res64: 7AFCE3E7D807684C Time : 0.0 sec. user=mdettweiler [2012-01-20 20:05:36] 613*2^1002123-1 is not prime. Res64: 05EBC2A4D5FEC33E Time : 0.0 sec. user=mdettweiler [2012-01-20 20:15:08] 669*2^1002123-1 is not prime. Res64: 3050A77916EC9459 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:15:08] 793*2^1002123-1 is not prime. Res64: AB4BAC8E690623C5 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:17:33] 705*2^1002124-1 is not prime. Res64: B22A5E193AD28CB1 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:17:33] 755*2^1002124-1 is not prime. Res64: 6B64E4D5DF2292D4 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:19:16] 945*2^1002123-1 is not prime. Res64: F0409F66688F402D Time : 0.0 sec. user=mdettweiler [2012-01-20 20:19:17] 635*2^1002124-1 is not prime. Res64: 4FE420186254CD55 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:22:41] 913*2^1002119-1 is not prime. Res64: A8781726D2E6B931 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:25:22] 825*2^1002124-1 is not prime. Res64: 649B9DD2CBC01E6F Time : 0.0 sec. user=mdettweiler [2012-01-20 20:25:23] 855*2^1002124-1 is not prime. Res64: 817CF4962638BFA6 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:34:53] 863*2^1002124-1 is not prime. Res64: 0A9B21A742860AD2 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:34:53] 627*2^1002125-1 is not prime. Res64: B3ED5D36E11FA4FF Time : 0.0 sec. user=mdettweiler [2012-01-20 20:37:17] 711*2^1002125-1 is not prime. Res64: C1B8AB7AC24E5DDF Time : 0.0 sec. user=mdettweiler [2012-01-20 20:37:18] 759*2^1002125-1 is not prime. Res64: 298CC0C06EAA4759 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:39:02] 805*2^1002125-1 is not prime. Res64: 6F3F130020A701A2 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:39:03] 635*2^1002126-1 is not prime. Res64: 0B41C1B12610C0A4 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:45:09] 741*2^1002126-1 is not prime. Res64: 03E14F104A1097A7 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:45:10] 747*2^1002126-1 is not prime. Res64: EF38B9710B4B47F7 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:56:59] 825*2^1002126-1 is not prime. Res64: EFD398A2A93FAABA Time : 0.0 sec. user=mdettweiler [2012-01-20 20:56:59] 993*2^1002126-1 is not prime. Res64: 43E64B5616E556B8 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:57:05] 603*2^1002127-1 is not prime. Res64: 5F4BD20F5708EB82 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:57:07] 609*2^1002127-1 is not prime. Res64: 4870AF5441C7A14A Time : 0.0 sec. user=mdettweiler [2012-01-20 20:58:47] 673*2^1002127-1 is not prime. Res64: 765314CD17AE0917 Time : 0.0 sec. user=mdettweiler [2012-01-20 20:58:48] 765*2^1002127-1 is not prime. Res64: 011D5B3782F6FBFD Time : 0.0 sec. user=mdettweiler [2012-01-20 21:04:58] 793*2^1002127-1 is not prime. Res64: F1CC1C1964B631A3 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:05:00] 805*2^1002127-1 is not prime. Res64: 4D649A8689EFF491 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:18:35] 633*2^1002128-1 is not prime. Res64: 732A8A6835A7329B Time : 0.0 sec. user=mdettweiler [2012-01-20 21:18:36] 869*2^1002128-1 is not prime. Res64: 79B727167ADEECBD Time : 0.0 sec. user=mdettweiler [2012-01-20 21:19:04] 841*2^1002127-1 is not prime. Res64: DB1C72D5C19F96E2 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:19:05] 973*2^1002127-1 is not prime. Res64: 735A51911059E8D9 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:21:27] 975*2^1002127-1 is not prime. Res64: 34F6EE6D4090FCB1 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:21:28] 985*2^1002127-1 is not prime. Res64: 3299CFEFD90486D4 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:24:54] 625*2^1002129-1 is not prime. Res64: CA9FD92CF5785B6D Time : 0.0 sec. user=mdettweiler [2012-01-20 21:24:54] 669*2^1002129-1 is not prime. Res64: FD05654CB692A5BB Time : 0.0 sec. user=mdettweiler [2012-01-20 21:38:25] 807*2^1002129-1 is not prime. Res64: 4525D495043D3737 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:38:25] 837*2^1002129-1 is not prime. Res64: E3E642C692432A7C Time : 0.0 sec. user=mdettweiler [2012-01-20 21:38:57] 885*2^1002129-1 is not prime. Res64: 472CA98A7C12813F Time : 0.0 sec. user=mdettweiler [2012-01-20 21:38:57] 889*2^1002129-1 is not prime. Res64: 4C6730287FB45085 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:43:31] 891*2^1002129-1 is not prime. Res64: 3B711374AB628A4E Time : 0.0 sec. user=mdettweiler [2012-01-20 21:43:32] 991*2^1002129-1 is not prime. Res64: 82472C5CD9E8E657 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:46:56] 997*2^1002129-1 is not prime. Res64: 2DA234A212DE5769 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:46:57] 717*2^1002130-1 is not prime. Res64: 803B65AD65015C0C Time : 0.0 sec. user=mdettweiler [2012-01-20 21:58:10] 723*2^1002130-1 is not prime. Res64: DF1A1DCCF2EDB608 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:58:10] 765*2^1002130-1 is not prime. Res64: 66ABA331550A1C37 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:58:42] 791*2^1002130-1 is not prime. Res64: A6451B336571F098 Time : 0.0 sec. user=mdettweiler [2012-01-20 21:58:43] 801*2^1002130-1 is not prime. Res64: B8450D948FB41347 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:03:14] 803*2^1002130-1 is not prime. Res64: C5C25CBDDF840947 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:03:15] 831*2^1002130-1 is not prime. Res64: E0B6363B135ED772 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:06:37] 861*2^1002130-1 is not prime. Res64: 756D699AC30939F7 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:06:39] 887*2^1002130-1 is not prime. Res64: 91C36C76B0EF99F5 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:18:28] 603*2^1002131-1 is not prime. Res64: CE0C4FFEA63AEFB6 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:18:28] 651*2^1002131-1 is not prime. Res64: 898071A513DF6CA0 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:22:26] 945*2^1002130-1 is not prime. Res64: BE410A521CE9E152 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:22:27] 957*2^1002130-1 is not prime. Res64: 50CDED2B8F5729F3 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:23:03] 745*2^1002131-1 is not prime. Res64: 73B5F0358E4197D6 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:23:04] 823*2^1002131-1 is not prime. Res64: E139719DB4B49AF0 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:26:32] 871*2^1002131-1 is not prime. Res64: 5964B466E1DB5D5F Time : 0.0 sec. user=mdettweiler [2012-01-20 22:26:33] 883*2^1002131-1 is not prime. Res64: B86D1905FAF284A0 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:31:42] 705*2^1002111-1 is not prime. Res64: 302A90CC7DBCC3E3 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:38:12] 921*2^1002131-1 is not prime. Res64: 201B424CDA5D8CC7 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:38:13] 765*2^1002132-1 is not prime. Res64: 29BB3272378531C7 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:44:27] 915*2^1002132-1 is not prime. Res64: FA58A0680A19160A Time : 0.0 sec. user=mdettweiler [2012-01-20 22:44:27] 977*2^1002132-1 is not prime. Res64: 79A6123C5116965F Time : 0.0 sec. user=mdettweiler [2012-01-20 22:45:04] 987*2^1002132-1 is not prime. Res64: C8417D9D8BE363D8 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:45:05] 681*2^1002133-1 is not prime. Res64: DC32343F6D4274CE Time : 0.0 sec. user=mdettweiler [2012-01-20 22:46:14] 747*2^1002133-1 is not prime. Res64: 0146B929CC9D9406 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:46:14] 817*2^1002133-1 is not prime. Res64: AEE0280B605774D2 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:57:53] 645*2^1002134-1 is not prime. Res64: 1DE1A25E5DB0A5E9 Time : 0.0 sec. user=mdettweiler [2012-01-20 22:57:54] 705*2^1002134-1 is not prime. Res64: ACA7F0EE8E07A6AA Time : 0.0 sec. user=mdettweiler [2012-01-20 23:04:10] 833*2^1002134-1 is not prime. Res64: 992198CA54F32473 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:04:11] 873*2^1002134-1 is not prime. Res64: F17DF8307F9D9936 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:04:46] 887*2^1002134-1 is not prime. Res64: A3DA9734C6A05E9E Time : 0.0 sec. user=mdettweiler [2012-01-20 23:04:46] 679*2^1002135-1 is not prime. Res64: 9024C82CE890F397 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:05:56] 693*2^1002135-1 is not prime. Res64: 43F3345EB4E9B915 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:05:57] 781*2^1002135-1 is not prime. Res64: 7CD1F80CEEB35093 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:11:25] 939*2^1002115-1 is not prime. Res64: 12FF0D62A69F3E9C Time : 0.0 sec. user=mdettweiler [2012-01-20 23:11:26] 615*2^1002116-1 is not prime. Res64: 40BA1EF983F72B1B Time : 0.0 sec. user=mdettweiler [2012-01-20 23:17:35] 793*2^1002135-1 is not prime. Res64: 30A7733B026C6330 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:17:35] 853*2^1002135-1 is not prime. Res64: D232817B0543E813 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:17:55] 683*2^1002126-1 is not prime. Res64: 10DD2FD9C8C3BE5F Time : 0.0 sec. user=mdettweiler [2012-01-20 23:17:55] 725*2^1002126-1 is not prime. Res64: 410F960580AFED78 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:23:57] 871*2^1002135-1 is not prime. Res64: 8BCB253E064F5EFB Time : 0.0 sec. user=mdettweiler [2012-01-20 23:23:57] 895*2^1002135-1 is not prime. Res64: 8034DEAE6D31DC09 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:25:41] 677*2^1002136-1 is not prime. Res64: 3B4FC1004605841F Time : 0.0 sec. user=mdettweiler [2012-01-20 23:25:42] 707*2^1002136-1 is not prime. Res64: 5F30BE934A9C5821 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:26:57] 933*2^1002135-1 is not prime. Res64: 4DECC04E969E03D0 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:26:57] 657*2^1002136-1 is not prime. Res64: CF4E3A16DA69D7F7 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:37:25] 691*2^1002137-1 is not prime. Res64: 5CBF849127AC5469 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:37:25] 771*2^1002137-1 is not prime. Res64: 7FC3B60BC01517CE Time : 0.0 sec. user=mdettweiler [2012-01-20 23:45:37] 707*2^1002138-1 is not prime. Res64: BA427250BF01F3FA Time : 0.0 sec. user=mdettweiler [2012-01-20 23:45:37] 711*2^1002138-1 is not prime. Res64: A041FBAE15C71D0D Time : 0.0 sec. user=mdettweiler [2012-01-20 23:47:00] 765*2^1002138-1 is not prime. Res64: 2822B3F9193E5688 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:47:00] 887*2^1002138-1 is not prime. Res64: A41A89062D1832DF Time : 0.0 sec. user=mdettweiler [2012-01-20 23:48:26] 955*2^1002137-1 is not prime. Res64: 5D2BC615468CA521 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:48:27] 985*2^1002137-1 is not prime. Res64: 148B20E408877759 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:51:28] 957*2^1002118-1 is not prime. Res64: B839EA800BFC8CC6 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:51:29] 615*2^1002119-1 is not prime. Res64: DD2D1D9229B628B9 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:59:21] 605*2^1002134-1 is not prime. Res64: 2A750FEFC33DD7A4 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:59:21] 615*2^1002134-1 is not prime. Res64: 0785EBA2BBDCDB99 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:59:26] 893*2^1002138-1 is not prime. Res64: 18CF74F9526319B3 Time : 0.0 sec. user=mdettweiler [2012-01-20 23:59:27] 927*2^1002138-1 is not prime. Res64: 154C305FE79726D2 Time : 0.0 sec.