user=mdettweiler [2013-08-17 00:13:46] 997*2^1250965-1 is not prime. Res64: BC7792B1CA1F2E5B Time : 0.0 sec. user=mdettweiler [2013-08-17 00:13:46] 671*2^1250966-1 is not prime. Res64: 3803A5704D95CF83 Time : 0.0 sec. user=mdettweiler [2013-08-17 00:17:43] 633*2^1250967-1 is not prime. Res64: 016B8E1FBE244CFF Time : 0.0 sec. user=mdettweiler [2013-08-17 00:17:43] 685*2^1250967-1 is not prime. Res64: 3A56291438D1F679 Time : 0.0 sec. user=mdettweiler [2013-08-17 00:17:49] 843*2^1250966-1 is not prime. Res64: B7EE18902611644B Time : 0.0 sec. user=mdettweiler [2013-08-17 00:17:49] 987*2^1250966-1 is not prime. Res64: 6B855DB02A1B93D6 Time : 0.0 sec. user=mdettweiler [2013-08-17 00:19:48] 741*2^1250967-1 is not prime. Res64: 6D5825AE8154D0F9 Time : 0.0 sec. user=mdettweiler [2013-08-17 00:19:48] 793*2^1250967-1 is not prime. Res64: 6EF881D9E5A43D38 Time : 0.0 sec. user=mdettweiler [2013-08-17 00:34:11] 805*2^1250967-1 is not prime. Res64: 2D8D615CF760662F Time : 0.0 sec. user=mdettweiler [2013-08-17 00:34:11] 895*2^1250967-1 is not prime. Res64: 2BC4F66855F26DAC Time : 0.0 sec. user=mdettweiler [2013-08-17 00:39:11] 955*2^1250967-1 is not prime. Res64: 0522724B70ECF864 Time : 0.0 sec. user=mdettweiler [2013-08-17 00:39:11] 687*2^1250968-1 is not prime. Res64: 8357685469AECEE1 Time : 0.0 sec. user=mdettweiler [2013-08-17 00:40:06] 919*2^1250967-1 is not prime. Res64: 235B2E71C9AF840A Time : 0.0 sec. user=mdettweiler [2013-08-17 00:40:07] 945*2^1250967-1 is not prime. Res64: 1085EF825500CB2D Time : 0.0 sec. user=mdettweiler [2013-08-17 00:40:12] 705*2^1250968-1 is not prime. Res64: 25CBFC7F276CA68D Time : 0.0 sec. user=mdettweiler [2013-08-17 00:40:12] 713*2^1250968-1 is not prime. Res64: 7919C0BAD6700AAA Time : 0.0 sec. user=mdettweiler [2013-08-17 00:54:37] 723*2^1250968-1 is not prime. Res64: F76349EC56F49FD3 Time : 0.0 sec. user=mdettweiler [2013-08-17 00:54:37] 849*2^1250968-1 is not prime. Res64: 28B265BCEF058C0D Time : 0.0 sec. user=mdettweiler [2013-08-17 01:00:34] 867*2^1250970-1 is not prime. Res64: 677B0EF17BD127C8 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:00:34] 989*2^1250968-1 is not prime. Res64: 9C3A5C13BC284BE0 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:00:35] 601*2^1250971-1 is not prime. Res64: 8CD3D683248FE95C Time : 0.0 sec. user=mdettweiler [2013-08-17 01:00:35] 861*2^1250969-1 is not prime. Res64: 99D63DCA1F46FB3A Time : 0.0 sec. user=mdettweiler [2013-08-17 01:01:27] 957*2^1250969-1 is not prime. Res64: 40A10ACE9448F0E3 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:01:28] 627*2^1250970-1 is not prime. Res64: AC0F335DE3C631C1 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:14:53] 625*2^1250971-1 is not prime. Res64: 173A16E02E57553E Time : 0.0 sec. user=mdettweiler [2013-08-17 01:14:54] 663*2^1250971-1 is not prime. Res64: FF22C7B816FF5CBB Time : 0.0 sec. user=mdettweiler [2013-08-17 01:20:51] 751*2^1250971-1 is not prime. Res64: F64F8382A5DD52AA Time : 0.0 sec. user=mdettweiler [2013-08-17 01:20:51] 793*2^1250971-1 is not prime. Res64: E05731A3A8F4BF1C Time : 0.0 sec. user=mdettweiler [2013-08-17 01:20:55] 849*2^1250971-1 is not prime. Res64: 076D4198CD3EB4DF Time : 0.0 sec. user=mdettweiler [2013-08-17 01:20:55] 873*2^1250971-1 is not prime. Res64: 4AFE75869B2F9183 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:22:38] 951*2^1250971-1 is not prime. Res64: 7F92B1B147C04802 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:22:38] 603*2^1250972-1 is not prime. Res64: 40DB2005A9DC20D1 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:35:00] 669*2^1250972-1 is not prime. Res64: A7F0AD3FB7EF7717 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:35:01] 879*2^1250972-1 is not prime. Res64: 26D9B88153C5F843 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:41:04] 621*2^1250973-1 is not prime. Res64: 0515F8EACE976595 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:41:04] 691*2^1250973-1 is not prime. Res64: 2A7F48B94CA9E016 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:41:53] 885*2^1250972-1 is not prime. Res64: 643AB3CCB5513207 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:41:54] 995*2^1250972-1 is not prime. Res64: 7AE82253E5C25B45 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:42:42] 699*2^1250973-1 is not prime. Res64: 2EF91E416FC73B14 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:42:42] 819*2^1250973-1 is not prime. Res64: 538F2E90A206F130 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:56:07] 891*2^1250973-1 is not prime. Res64: 38E6CCBB4E717047 Time : 0.0 sec. user=mdettweiler [2013-08-17 01:56:07] 955*2^1250973-1 is not prime. Res64: CB71338650378404 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:01:14] 635*2^1250974-1 is not prime. Res64: 70FB130A2AFADE39 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:01:15] 645*2^1250974-1 is not prime. Res64: E80AA107DBD3083C Time : 0.0 sec. user=mdettweiler [2013-08-17 02:02:08] 773*2^1250974-1 is not prime. Res64: 16B50C9DD6C04BE2 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:02:09] 783*2^1250974-1 is not prime. Res64: FCE311CB3E996D78 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:02:55] 815*2^1250974-1 is not prime. Res64: 5220403BA4A9E73A Time : 0.0 sec. user=mdettweiler [2013-08-17 02:02:56] 827*2^1250974-1 is not prime. Res64: 6C27645C3D2710A9 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:17:08] 861*2^1250974-1 is not prime. Res64: 52E5FF652DDF067C Time : 0.0 sec. user=mdettweiler [2013-08-17 02:17:09] 915*2^1250974-1 is not prime. Res64: EC50A203C495B8DF Time : 0.0 sec. user=mdettweiler [2013-08-17 02:22:13] 651*2^1250975-1 is not prime. Res64: 49AC16453805BDFA Time : 0.0 sec. user=mdettweiler [2013-08-17 02:22:14] 685*2^1250975-1 is not prime. Res64: 80379E5779F52670 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:23:13] 957*2^1250974-1 is not prime. Res64: 780A59F23E63C923 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:23:14] 993*2^1250974-1 is not prime. Res64: 2BB9DEE48934AE91 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:23:59] 855*2^1250975-1 is not prime. Res64: B09538F911814E8B Time : 0.0 sec. user=mdettweiler [2013-08-17 02:24:00] 909*2^1250975-1 is not prime. Res64: A548741F15EC53D3 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:38:08] 973*2^1250975-1 is not prime. Res64: C4180E4362957936 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:38:09] 657*2^1250976-1 is not prime. Res64: 905A3CC91BCE51E8 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:42:19] 683*2^1250976-1 is not prime. Res64: CC2A27C3D60B0D0B Time : 0.0 sec. user=mdettweiler [2013-08-17 02:42:19] 765*2^1250976-1 is not prime. Res64: 5A7C9B1EB95E709F Time : 0.0 sec. user=mdettweiler [2013-08-17 02:43:16] 779*2^1250976-1 is not prime. Res64: 575114389EC42FA1 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:43:18] 803*2^1250976-1 is not prime. Res64: 16E4EC8F5B153B37 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:44:00] 637*2^1250977-1 is not prime. Res64: 1F985E0AB5A4DBD8 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:44:01] 639*2^1250977-1 is not prime. Res64: 3C3C601B11418713 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:58:03] 769*2^1250977-1 is not prime. Res64: 4756171CF5C36820 Time : 0.0 sec. user=mdettweiler [2013-08-17 02:58:04] 775*2^1250977-1 is not prime. Res64: C36055F0D0431ACD Time : 0.0 sec. user=mdettweiler [2013-08-17 03:02:21] 841*2^1250977-1 is not prime. Res64: 73AE7C8688AC7F2C Time : 0.0 sec. user=mdettweiler [2013-08-17 03:02:22] 885*2^1250977-1 is not prime. Res64: 7A00BAE985E51B94 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:03:53] 753*2^1250978-1 is not prime. Res64: F272E3D43AA81D9C Time : 0.0 sec. user=mdettweiler [2013-08-17 03:03:55] 825*2^1250978-1 is not prime. Res64: E34C5E3BA244043C Time : 0.0 sec. user=mdettweiler [2013-08-17 03:04:06] 901*2^1250977-1 is not prime. Res64: CEFB1E1DE1321509 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:04:06] 617*2^1250978-1 is not prime. Res64: 53890D7FB4D0E94A Time : 0.0 sec. user=mdettweiler [2013-08-17 03:17:59] 845*2^1250978-1 is not prime. Res64: 01F9F6FA0B28AFB0 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:17:59] 875*2^1250978-1 is not prime. Res64: 974F30F79A43A632 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:24:01] 601*2^1250979-1 is not prime. Res64: 0D7B1108BEAF9448 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:24:01] 663*2^1250979-1 is not prime. Res64: ECE35802A1631D1D Time : 0.0 sec. user=mdettweiler [2013-08-17 03:24:05] 669*2^1250979-1 is not prime. Res64: A6A235C5C5F478DE Time : 0.0 sec. user=mdettweiler [2013-08-17 03:24:05] 735*2^1250979-1 is not prime. Res64: 57B56DA7E565B62A Time : 0.0 sec. user=mdettweiler [2013-08-17 03:24:16] 911*2^1250978-1 is not prime. Res64: 9C6C2A12242B3C0E Time : 0.0 sec. user=mdettweiler [2013-08-17 03:24:16] 971*2^1250978-1 is not prime. Res64: 368E852CD68435D5 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:38:06] 801*2^1250979-1 is not prime. Res64: 18E2340446042A9D Time : 0.0 sec. user=mdettweiler [2013-08-17 03:38:07] 835*2^1250979-1 is not prime. Res64: 9D1F3B1E080D0175 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:44:11] 609*2^1250980-1 is not prime. Res64: C5791AAD03C33266 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:44:12] 653*2^1250980-1 is not prime. Res64: 1BA3758488498083 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:44:21] 729*2^1250980-1 is not prime. Res64: B5FD2E763CB7E107 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:44:21] 797*2^1250980-1 is not prime. Res64: D9317A86BC431056 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:44:58] 909*2^1250979-1 is not prime. Res64: 1AF8A632CA3FF006 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:44:59] 603*2^1250980-1 is not prime. Res64: 191D20EC0D150EE2 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:58:18] 887*2^1250980-1 is not prime. Res64: DF296BE2AC575838 Time : 0.0 sec. user=mdettweiler [2013-08-17 03:58:18] 899*2^1250980-1 is not prime. Res64: DFD1183A65A571FF Time : 0.0 sec. user=mdettweiler [2013-08-17 04:04:23] 691*2^1250981-1 is not prime. Res64: 1AE7E40CBEC595C5 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:04:24] 859*2^1250981-1 is not prime. Res64: 4999A2E61F7FC92F Time : 0.0 sec. user=mdettweiler [2013-08-17 04:05:54] 889*2^1250981-1 is not prime. Res64: 621983D3D9D9E5D3 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:05:55] 927*2^1250981-1 is not prime. Res64: 5BF36F98D7667B7B Time : 0.0 sec. user=mdettweiler [2013-08-17 04:06:04] 933*2^1250980-1 is not prime. Res64: E0A7907D4A329CB7 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:06:05] 939*2^1250980-1 is not prime. Res64: 6669C0AE5CE54A11 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:19:23] 991*2^1250981-1 is not prime. Res64: C823FE3F53C5FEA6 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:19:23] 657*2^1250982-1 is not prime. Res64: 7796EAA4E95110A2 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:24:36] 755*2^1250982-1 is not prime. Res64: 621C61A36240D201 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:24:36] 765*2^1250982-1 is not prime. Res64: FF126C8CFBB4E9E9 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:26:58] 807*2^1250982-1 is not prime. Res64: D53F108995BD1A70 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:26:58] 923*2^1250982-1 is not prime. Res64: 89E3F0B2669D47D0 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:27:10] 977*2^1250982-1 is not prime. Res64: 65BB498131CC2AEA Time : 0.0 sec. user=mdettweiler [2013-08-17 04:27:10] 609*2^1250983-1 is not prime. Res64: FFBB58D828071925 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:39:39] 619*2^1250983-1 is not prime. Res64: 24D498935AB8D002 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:39:39] 741*2^1250983-1 is not prime. Res64: B1564C215DD362A9 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:44:58] 763*2^1250983-1 is not prime. Res64: 5905906853546F69 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:44:59] 855*2^1250983-1 is not prime. Res64: AF232C92B9539687 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:47:40] 629*2^1250984-1 is not prime. Res64: 8DAE75BF382BFB8F Time : 0.0 sec. user=mdettweiler [2013-08-17 04:47:41] 699*2^1250984-1 is not prime. Res64: F5AD9280D17BF2C0 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:48:22] 861*2^1250983-1 is not prime. Res64: 22755E1C434D6121 Time : 0.0 sec. user=mdettweiler [2013-08-17 04:48:23] 961*2^1250983-1 is not prime. Res64: 2129E718BE4A513C Time : 0.0 sec. user=mdettweiler [2013-08-17 05:00:13] 725*2^1250984-1 is not prime. Res64: EB7C05E5F73389AC Time : 0.0 sec. user=mdettweiler [2013-08-17 05:00:14] 759*2^1250984-1 is not prime. Res64: 021880411D757456 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:05:32] 857*2^1250984-1 is not prime. Res64: 9F2013AA6D487D27 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:05:33] 893*2^1250984-1 is not prime. Res64: 67F46FEAEA03B48F Time : 0.0 sec. user=mdettweiler [2013-08-17 05:08:42] 705*2^1250985-1 is not prime. Res64: C6B3CB8F728CFF47 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:08:43] 777*2^1250985-1 is not prime. Res64: D8538A7188AA1534 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:10:08] 957*2^1250984-1 is not prime. Res64: A751B7D731522BF9 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:10:09] 959*2^1250984-1 is not prime. Res64: BF59E0120ED495BA Time : 0.0 sec. user=mdettweiler [2013-08-17 05:22:05] 889*2^1250985-1 is not prime. Res64: 25053615C47F9155 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:22:05] 955*2^1250985-1 is not prime. Res64: BA74C0D8C5168752 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:27:25] 979*2^1250985-1 is not prime. Res64: 638E85A85F049C5D Time : 0.0 sec. user=mdettweiler [2013-08-17 05:27:26] 635*2^1250986-1 is not prime. Res64: B16321C8978A4DCB Time : 0.0 sec. user=mdettweiler [2013-08-17 05:29:44] 647*2^1250986-1 is not prime. Res64: C8FF3F339D345DAE Time : 0.0 sec. user=mdettweiler [2013-08-17 05:29:44] 677*2^1250986-1 is not prime. Res64: F57769F8FDE07AEB Time : 0.0 sec. user=mdettweiler [2013-08-17 05:31:08] 741*2^1250986-1 is not prime. Res64: EE1D159BFD459151 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:31:08] 773*2^1250986-1 is not prime. Res64: 60136192D4E808A9 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:43:01] 821*2^1250986-1 is not prime. Res64: ABE875524F459DEF Time : 0.0 sec. user=mdettweiler [2013-08-17 05:43:02] 867*2^1250986-1 is not prime. Res64: ECF56D6C9F705070 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:50:19] 903*2^1250986-1 is not prime. Res64: A07141FABACBA789 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:50:19] 941*2^1250986-1 is not prime. Res64: ED8CCBF9A855C592 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:50:33] 619*2^1250987-1 is not prime. Res64: 26363895D69B4384 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:50:33] 621*2^1250987-1 is not prime. Res64: D21C3E08B84B4CC4 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:51:55] 645*2^1250987-1 is not prime. Res64: D671B9CAE0BC4A85 Time : 0.0 sec. user=mdettweiler [2013-08-17 05:51:55] 705*2^1250987-1 is not prime. Res64: 878A3EB83570F2E6 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:06:16] 901*2^1250987-1 is not prime. Res64: D486FE5729B6AAFE Time : 0.0 sec. user=mdettweiler [2013-08-17 06:06:18] 963*2^1250987-1 is not prime. Res64: 984215FEA319EC83 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:12:12] 725*2^1250988-1 is not prime. Res64: F9CA5836384EC0BD Time : 0.0 sec. user=mdettweiler [2013-08-17 06:12:12] 753*2^1250988-1 is not prime. Res64: 3409B5032CCA7D4B Time : 0.0 sec. user=mdettweiler [2013-08-17 06:12:20] 985*2^1250987-1 is not prime. Res64: 034D195A64691025 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:12:21] 699*2^1250988-1 is not prime. Res64: 4DFE773EE246BA38 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:14:11] 789*2^1250988-1 is not prime. Res64: 87262A604DE59510 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:14:12] 905*2^1250988-1 is not prime. Res64: 77A1B48DEFF9C9EE Time : 0.0 sec. user=mdettweiler [2013-08-17 06:27:10] 625*2^1250989-1 is not prime. Res64: ADCFB46D7097D1C8 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:27:11] 667*2^1250989-1 is not prime. Res64: 13782F4DB3529129 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:32:36] 675*2^1250989-1 is not prime. Res64: 830A5736E1B8ECFC Time : 0.0 sec. user=mdettweiler [2013-08-17 06:32:36] 747*2^1250989-1 is not prime. Res64: 823A674D0646E05C Time : 0.0 sec. user=mdettweiler [2013-08-17 06:34:01] 939*2^1250989-1 is not prime. Res64: 2D5C8B3F48C2D64E Time : 0.0 sec. user=mdettweiler [2013-08-17 06:34:01] 791*2^1250990-1 is not prime. Res64: 49E746873752FF13 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:34:36] 797*2^1250990-1 is not prime. Res64: 92C0F3529B93A970 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:34:37] 827*2^1250990-1 is not prime. Res64: 6C940E960801160A Time : 0.0 sec. user=mdettweiler [2013-08-17 06:48:40] 897*2^1250990-1 is not prime. Res64: 9B1C6C9E543DBCC2 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:48:40] 965*2^1250990-1 is not prime. Res64: F8056E07A355B694 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:53:29] 705*2^1250991-1 is not prime. Res64: DCD682D9906B2773 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:53:29] 871*2^1250991-1 is not prime. Res64: 018858F5A26FBE5F Time : 0.0 sec. user=mdettweiler [2013-08-17 06:54:36] 885*2^1250991-1 is not prime. Res64: 9250638F9A68C359 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:54:37] 891*2^1250991-1 is not prime. Res64: EB05AE9470FBA3C2 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:57:10] 909*2^1250991-1 is not prime. Res64: 1EBA082FEA8BA498 Time : 0.0 sec. user=mdettweiler [2013-08-17 06:57:10] 979*2^1250991-1 is not prime. Res64: 765B4EFF2FD347AE Time : 0.0 sec. user=mdettweiler [2013-08-17 07:09:40] 999*2^1250991-1 is not prime. Res64: 42C53C852246F856 Time : 0.0 sec. user=mdettweiler [2013-08-17 07:09:40] 645*2^1250992-1 is not prime. Res64: 5A7DD4AE27D13731 Time : 0.0 sec. user=mdettweiler [2013-08-17 07:13:36] 723*2^1250992-1 is not prime. Res64: 338E2293E82A6D6F Time : 0.0 sec. user=mdettweiler [2013-08-17 07:13:36] 759*2^1250992-1 is not prime. Res64: 7B05109CBA2DC92B Time : 0.0 sec. user=mdettweiler [2013-08-17 07:14:36] 779*2^1250992-1 is not prime. Res64: A07ACA7FC9B1BA3E Time : 0.0 sec. user=mdettweiler [2013-08-17 07:14:37] 849*2^1250992-1 is not prime. Res64: DABED2E5B6B2FE2D Time : 0.0 sec. user=mdettweiler [2013-08-17 07:17:10] 855*2^1250992-1 is not prime. Res64: F74F11B0D4CBAB37 Time : 0.0 sec. user=mdettweiler [2013-08-17 07:17:11] 875*2^1250992-1 is not prime. Res64: BF7398E3FC2EC544 Time : 0.0 sec. user=mdettweiler [2013-08-17 07:29:38] 619*2^1250993-1 is not prime. Res64: FC2A5697414DB3EC Time : 0.0 sec. user=mdettweiler [2013-08-17 07:29:39] 727*2^1250993-1 is not prime. Res64: 1683FE66F08D91AC Time : 0.0 sec. user=mdettweiler [2013-08-17 07:34:32] 741*2^1250993-1 is not prime. Res64: E67AAA37A4EF17F0 Time : 0.0 sec. user=mdettweiler [2013-08-17 07:34:33] 969*2^1250993-1 is not prime. Res64: 469D149C6156707E Time : 0.0 sec. user=mdettweiler [2013-08-17 07:34:38] 627*2^1250994-1 is not prime. Res64: 8BA6C4E07DE79AA6 Time : 0.0 sec. user=mdettweiler [2013-08-17 07:34:38] 657*2^1250994-1 is not prime. Res64: 845E7E508B64D648 Time : 0.0 sec. user=mdettweiler [2013-08-17 07:37:19] 663*2^1250994-1 is not prime. Res64: 73DC1A1D90753BFA Time : 0.0 sec. user=mdettweiler [2013-08-17 07:37:19] 807*2^1250994-1 is not prime. Res64: A97F8805A5FCF47F Time : 0.0 sec. user=mdettweiler [2013-08-17 07:49:50] 645*2^1250995-1 is not prime. Res64: B69EB3CC385B1CB4 Time : 0.0 sec. user=mdettweiler [2013-08-17 07:49:50] 873*2^1250995-1 is not prime. Res64: 644A149C49A6A8FF Time : 0.0 sec. user=mdettweiler [2013-08-17 07:54:39] 889*2^1250995-1 is not prime. Res64: 7E18FA46775A505A Time : 0.0 sec. user=mdettweiler [2013-08-17 07:54:39] 675*2^1250996-1 is not prime. Res64: D62D56C7AF3DE54B Time : 0.0 sec. user=mdettweiler [2013-08-17 07:54:47] 689*2^1250996-1 is not prime. Res64: 3B5E66A06E14D6B5 Time : 0.0 sec. user=mdettweiler [2013-08-17 07:54:47] 707*2^1250996-1 is not prime. Res64: 50DB745647694DDE Time : 0.0 sec. user=mdettweiler [2013-08-17 07:57:28] 749*2^1250996-1 is not prime. Res64: D01C9317CE7ADBC7 Time : 0.0 sec. user=mdettweiler [2013-08-17 07:57:29] 759*2^1250996-1 is not prime. Res64: F8B859979CA2A2AD Time : 0.0 sec. user=mdettweiler [2013-08-17 08:10:02] 875*2^1250996-1 is not prime. Res64: 69B7DCDB862F27AB Time : 0.0 sec. user=mdettweiler [2013-08-17 08:10:03] 897*2^1250996-1 is not prime. Res64: 26BE788BDB5980DC Time : 0.0 sec. user=mdettweiler [2013-08-17 08:14:54] 835*2^1250997-1 is not prime. Res64: 046D54BD5349BED1 Time : 0.0 sec. user=mdettweiler [2013-08-17 08:14:55] 861*2^1250997-1 is not prime. Res64: 3D2E9157DDAA1FAE Time : 0.0 sec. user=mdettweiler [2013-08-17 08:15:46] 963*2^1250996-1 is not prime. Res64: A8E861681D6CDB54 Time : 0.0 sec. user=mdettweiler [2013-08-17 08:15:46] 625*2^1250997-1 is not prime. Res64: ED8819A86FA813C6 Time : 0.0 sec. user=mdettweiler [2013-08-17 08:19:34] 927*2^1250997-1 is not prime. Res64: 0EA0C28202616763 Time : 0.0 sec. user=mdettweiler [2013-08-17 08:19:35] 999*2^1250997-1 is not prime. Res64: AECB68DF82BB47A8 Time : 0.0 sec. user=mdettweiler [2013-08-17 08:30:11] 617*2^1250998-1 is not prime. Res64: 58BFD153B0E91B05 Time : 0.0 sec. user=mdettweiler [2013-08-17 08:30:11] 623*2^1250998-1 is not prime. Res64: 7F005FA187D73CFB Time : 0.0 sec. user=mdettweiler [2013-08-17 08:35:01] 645*2^1250998-1 is not prime. Res64: 66D264ADF9B82D2E Time : 0.0 sec. user=mdettweiler [2013-08-17 08:35:02] 791*2^1250998-1 is not prime. Res64: D5AB7B6F9264C698 Time : 0.0 sec. user=mdettweiler [2013-08-17 08:35:48] 815*2^1250998-1 is not prime. Res64: A895E6E48188707D Time : 0.0 sec. user=mdettweiler [2013-08-17 08:35:49] 845*2^1250998-1 is not prime. Res64: 4C7A9DEFAB4EDC6C Time : 0.0 sec. user=mdettweiler [2013-08-17 08:41:34] 945*2^1250998-1 is not prime. Res64: EF5BD247B98CF80E Time : 0.0 sec. user=mdettweiler [2013-08-17 08:41:35] 951*2^1250998-1 is not prime. Res64: 7B63D933A131A00E Time : 0.0 sec. user=mdettweiler [2013-08-17 08:50:11] 669*2^1250999-1 is not prime. Res64: BCE2BC0B54E7D0A0 Time : 0.0 sec. user=mdettweiler [2013-08-17 08:50:12] 711*2^1250999-1 is not prime. Res64: 44169368933FFE19 Time : 0.0 sec. user=mdettweiler [2013-08-17 08:55:04] 735*2^1250999-1 is not prime. Res64: 26DC54FFF889212C Time : 0.0 sec. user=mdettweiler [2013-08-17 08:55:04] 813*2^1250999-1 is not prime. Res64: EE41CFCC51324E82 Time : 0.0 sec. user=mdettweiler [2013-08-17 08:55:46] 825*2^1250999-1 is not prime. Res64: 95353B597B3263E3 Time : 0.0 sec. user=mdettweiler [2013-08-17 08:55:47] 627*2^1251000-1 is not prime. Res64: 7B4C03CA589607A6 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:01:33] 713*2^1251000-1 is not prime. Res64: 72384D4965B29D41 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:01:34] 795*2^1251000-1 is not prime. Res64: CD912DA4BD2EBD3E Time : 0.0 sec. user=mdettweiler [2013-08-17 09:11:11] 893*2^1251000-1 is not prime. Res64: 666DF277B0AB4064 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:11:11] 909*2^1251000-1 is not prime. Res64: AE9B790DBD09E859 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:15:52] 799*2^1251001-1 is not prime. Res64: CF8C886EEE474A95 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:15:53] 847*2^1251001-1 is not prime. Res64: FC77D97995D993D8 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:16:04] 959*2^1251000-1 is not prime. Res64: B7409D6A8B0AD328 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:16:05] 705*2^1251001-1 is not prime. Res64: 6395057D22418A92 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:22:41] 987*2^1251001-1 is not prime. Res64: 0984D19C6F851A44 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:22:41] 623*2^1251002-1 is not prime. Res64: 1C25E52EB0F1D274 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:31:24] 755*2^1251002-1 is not prime. Res64: ACACBA9A76633FDB Time : 0.0 sec. user=mdettweiler [2013-08-17 09:31:25] 771*2^1251002-1 is not prime. Res64: C3B8C8F14B25E044 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:35:59] 791*2^1251002-1 is not prime. Res64: D4544D86EBB1F082 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:36:00] 831*2^1251002-1 is not prime. Res64: 19B5008CC3EC6B3D Time : 0.0 sec. user=mdettweiler [2013-08-17 09:37:11] 963*2^1251002-1 is not prime. Res64: 465299A391EE0E41 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:37:11] 663*2^1251003-1 is not prime. Res64: 8E5A985AE4E609BE Time : 0.0 sec. user=mdettweiler [2013-08-17 09:42:48] 675*2^1251003-1 is not prime. Res64: A9C83D4D60BC96F3 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:42:49] 703*2^1251003-1 is not prime. Res64: 9A3F83CFE6C470A7 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:51:33] 775*2^1251003-1 is not prime. Res64: EB948B702AC930DF Time : 0.0 sec. user=mdettweiler [2013-08-17 09:51:33] 795*2^1251003-1 is not prime. Res64: F5701302D447DD9C Time : 0.0 sec. user=mdettweiler [2013-08-17 09:57:05] 861*2^1251003-1 is not prime. Res64: D59748E5C7D95BEB Time : 0.0 sec. user=mdettweiler [2013-08-17 09:57:05] 919*2^1251003-1 is not prime. Res64: 990AFAEC038B2740 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:59:11] 921*2^1251003-1 is not prime. Res64: BE9D369646B31AC8 Time : 0.0 sec. user=mdettweiler [2013-08-17 09:59:12] 969*2^1251003-1 is not prime. Res64: 1A04BEBAF13D4BA3 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:02:56] 615*2^1251004-1 is not prime. Res64: 0FF4C50F3EBA39CA Time : 0.0 sec. user=mdettweiler [2013-08-17 10:02:57] 635*2^1251004-1 is not prime. Res64: F36E768973E2C68E Time : 0.0 sec. user=mdettweiler [2013-08-17 10:11:36] 693*2^1251004-1 is not prime. Res64: 8A5D4D653C8BF358 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:11:38] 773*2^1251004-1 is not prime. Res64: 8A08EAB94C07E2B5 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:17:08] 825*2^1251004-1 is not prime. Res64: 0DEE874D16D90F3A Time : 0.0 sec. user=mdettweiler [2013-08-17 10:17:09] 855*2^1251004-1 is not prime. Res64: 1A2EA1A229565148 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:20:14] 915*2^1251004-1 is not prime. Res64: 18DB694697B14220 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:20:14] 655*2^1251005-1 is not prime. Res64: ED87BCFF3AEBD3FD Time : 0.0 sec. user=mdettweiler [2013-08-17 10:23:01] 759*2^1251005-1 is not prime. Res64: 28E4F6051453630E Time : 0.0 sec. user=mdettweiler [2013-08-17 10:23:02] 789*2^1251005-1 is not prime. Res64: B757B10A60178A08 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:31:39] 825*2^1251005-1 is not prime. Res64: 0E57056263A9B3C8 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:31:40] 847*2^1251005-1 is not prime. Res64: EA7DFF8A7138E07C Time : 0.0 sec. user=mdettweiler [2013-08-17 10:37:05] 725*2^1251006-1 is not prime. Res64: 92B6FD802F7B6189 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:37:06] 755*2^1251006-1 is not prime. Res64: E5CF86CD58C8C1A8 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:40:11] 821*2^1251006-1 is not prime. Res64: 88440EECB7165B25 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:40:12] 887*2^1251006-1 is not prime. Res64: 2BA8F88D5613D213 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:44:55] 921*2^1251006-1 is not prime. Res64: 2A863488AB125F3C Time : 0.0 sec. user=mdettweiler [2013-08-17 10:44:56] 941*2^1251006-1 is not prime. Res64: 3E7DFA48D5E0ACA8 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:51:41] 639*2^1251007-1 is not prime. Res64: AE4708F241DB324A Time : 0.0 sec. user=mdettweiler [2013-08-17 10:51:41] 693*2^1251007-1 is not prime. Res64: D63511EAEE7F54B6 Time : 0.0 sec. user=mdettweiler [2013-08-17 10:57:01] 735*2^1251007-1 is not prime. Res64: E036B1AA1366254B Time : 0.0 sec. user=mdettweiler [2013-08-17 10:57:02] 751*2^1251007-1 is not prime. Res64: AB2BA05E6966FE31 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:00:12] 831*2^1251007-1 is not prime. Res64: 92F16CB29BCE0ABD Time : 0.0 sec. user=mdettweiler [2013-08-17 11:00:12] 843*2^1251007-1 is not prime. Res64: 3C4E74D098B9081B Time : 0.0 sec. user=mdettweiler [2013-08-17 11:06:50] 925*2^1251007-1 is not prime. Res64: 78417483179EA23F Time : 0.0 sec. user=mdettweiler [2013-08-17 11:06:50] 985*2^1251007-1 is not prime. Res64: 480095E3C5890CF3 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:12:45] 993*2^1251007-1 is not prime. Res64: B0AB6D6DDFDC3FD1 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:12:45] 615*2^1251008-1 is not prime. Res64: F523EC807C3FA436 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:17:05] 669*2^1251008-1 is not prime. Res64: AF4573EA72F4E554 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:17:05] 689*2^1251008-1 is not prime. Res64: 8A5693245CD796A3 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:20:22] 819*2^1251008-1 is not prime. Res64: 990B9307948EE644 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:20:23] 893*2^1251008-1 is not prime. Res64: 474491C6AFA7D1B0 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:28:56] 927*2^1251008-1 is not prime. Res64: 2E0ABE8C236A992A Time : 0.0 sec. user=mdettweiler [2013-08-17 11:28:57] 963*2^1251008-1 is not prime. Res64: 02C44A03B7BE2E08 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:33:54] 977*2^1251008-1 is not prime. Res64: E1246FC691C5C9BE Time : 0.0 sec. user=mdettweiler [2013-08-17 11:33:54] 831*2^1251009-1 is not prime. Res64: D6394C75218C5653 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:38:20] 889*2^1251009-1 is not prime. Res64: D6C7FA873188BFCD Time : 0.0 sec. user=mdettweiler [2013-08-17 11:38:21] 919*2^1251009-1 is not prime. Res64: 9C1F6D74E5758ED0 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:41:30] 921*2^1251009-1 is not prime. Res64: 4282D1ADF09D0C11 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:41:31] 831*2^1251010-1 is not prime. Res64: 71E1698C361EA5C7 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:50:02] 855*2^1251010-1 is not prime. Res64: 59929EBA85616152 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:50:03] 945*2^1251010-1 is not prime. Res64: 95D17E0CC4A39B0B Time : 0.0 sec. user=mdettweiler [2013-08-17 11:54:01] 619*2^1251011-1 is not prime. Res64: 85419AB9B960D47C Time : 0.0 sec. user=mdettweiler [2013-08-17 11:54:02] 813*2^1251011-1 is not prime. Res64: 969CDE8AD5B70422 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:58:25] 823*2^1251011-1 is not prime. Res64: EE28D961FD115630 Time : 0.0 sec. user=mdettweiler [2013-08-17 11:58:26] 889*2^1251011-1 is not prime. Res64: FB16E59FF6982D49 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:03:31] 921*2^1251011-1 is not prime. Res64: 1835ACDB726AD178 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:03:34] 993*2^1251011-1 is not prime. Res64: 9BF599D84F9E914C Time : 0.0 sec. user=mdettweiler [2013-08-17 12:10:10] 609*2^1251012-1 is not prime. Res64: F767D0F89359B8E3 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:10:12] 669*2^1251012-1 is not prime. Res64: 746D22C7DB69DBF1 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:14:10] 765*2^1251012-1 is not prime. Res64: C6583F4F6C400CC7 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:14:10] 649*2^1251013-1 is not prime. Res64: 2A23B15412933DC9 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:18:25] 675*2^1251013-1 is not prime. Res64: D780F8F69A74E434 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:18:26] 831*2^1251013-1 is not prime. Res64: 2677C4735254FFEA Time : 0.0 sec. user=mdettweiler [2013-08-17 12:25:15] 855*2^1251013-1 is not prime. Res64: 688013C47FB997A0 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:25:16] 927*2^1251013-1 is not prime. Res64: 49424B14D5DA54FE Time : 0.0 sec. user=mdettweiler [2013-08-17 12:32:16] 939*2^1251013-1 is not prime. Res64: 41A832904CEEA3F6 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:32:17] 945*2^1251013-1 is not prime. Res64: D500FA73C2DD2BD7 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:35:16] 979*2^1251013-1 is not prime. Res64: 96EB053558972263 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:35:16] 797*2^1251014-1 is not prime. Res64: 907C9BA0D7138AF0 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:39:32] 861*2^1251014-1 is not prime. Res64: 6AD5C2834E3291FF Time : 0.0 sec. user=mdettweiler [2013-08-17 12:39:33] 923*2^1251014-1 is not prime. Res64: F162EBABDE87EA0C Time : 0.0 sec. user=mdettweiler [2013-08-17 12:46:17] 971*2^1251014-1 is not prime. Res64: 5C9F46108DD23014 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:46:17] 625*2^1251015-1 is not prime. Res64: 9D3588FB3E8D0E2C Time : 0.0 sec. user=mdettweiler [2013-08-17 12:52:35] 763*2^1251015-1 is not prime. Res64: D76ACF59437D469A Time : 0.0 sec. user=mdettweiler [2013-08-17 12:52:36] 885*2^1251015-1 is not prime. Res64: C1B289B2889D0492 Time : 0.0 sec. user=mdettweiler [2013-08-17 12:56:31] 963*2^1251015-1 is not prime. Res64: 3B4557633588094B Time : 0.0 sec. user=mdettweiler [2013-08-17 12:56:32] 657*2^1251016-1 is not prime. Res64: DF0FB3AEBC413FA3 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:00:08] 689*2^1251016-1 is not prime. Res64: 86D66FCDE62AB25A Time : 0.0 sec. user=mdettweiler [2013-08-17 13:00:10] 719*2^1251016-1 is not prime. Res64: 302372394A5A878F Time : 0.0 sec. user=mdettweiler [2013-08-17 13:07:28] 747*2^1251016-1 is not prime. Res64: DB6D11C2712110E1 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:07:29] 755*2^1251016-1 is not prime. Res64: E3BBC776E00F8CDE Time : 0.0 sec. user=mdettweiler [2013-08-17 13:13:37] 765*2^1251016-1 is not prime. Res64: 1DE92E3E33F051A8 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:13:37] 779*2^1251016-1 is not prime. Res64: BFB9A14B2590633D Time : 0.0 sec. user=mdettweiler [2013-08-17 13:17:25] 825*2^1251016-1 is not prime. Res64: 7610C6250AFA2887 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:17:25] 855*2^1251016-1 is not prime. Res64: 4E5797BD2A150170 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:23:12] 947*2^1251016-1 is not prime. Res64: 3DC5D444CD4BCCAE Time : 0.0 sec. user=mdettweiler [2013-08-17 13:23:13] 975*2^1251016-1 is not prime. Res64: 3147826231A64E80 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:28:24] 675*2^1251017-1 is not prime. Res64: DAAF8785955A3370 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:28:24] 715*2^1251017-1 is not prime. Res64: C03248D3A4DD1E5B Time : 0.0 sec. user=mdettweiler [2013-08-17 13:34:16] 747*2^1251017-1 is not prime. Res64: 518343DA380C2083 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:34:16] 759*2^1251017-1 is not prime. Res64: 738799BD1AF63CB5 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:38:25] 771*2^1251017-1 is not prime. Res64: 0BDB39E9A7621461 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:38:25] 871*2^1251017-1 is not prime. Res64: 7C9DCD8C7D3908C9 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:43:47] 885*2^1251017-1 is not prime. Res64: 06C2CD2218829C57 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:43:47] 635*2^1251018-1 is not prime. Res64: C357FE1C77953C2B Time : 0.0 sec. user=mdettweiler [2013-08-17 13:49:05] 651*2^1251018-1 is not prime. Res64: DFBE2508158D9778 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:49:05] 791*2^1251018-1 is not prime. Res64: 4DD39C1D8893771A Time : 0.0 sec. user=mdettweiler [2013-08-17 13:56:11] 881*2^1251018-1 is not prime. Res64: 7A24D4B043A37E3F Time : 0.0 sec. user=mdettweiler [2013-08-17 13:56:11] 971*2^1251018-1 is not prime. Res64: 669BDD994185A5F9 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:59:27] 639*2^1251019-1 is not prime. Res64: EE2826FD1E3D4BE8 Time : 0.0 sec. user=mdettweiler [2013-08-17 13:59:28] 855*2^1251019-1 is not prime. Res64: 282558DF34B93D0E Time : 0.0 sec. user=mdettweiler [2013-08-17 14:04:42] 861*2^1251019-1 is not prime. Res64: EC225AA2B71539C8 Time : 0.0 sec. user=mdettweiler [2013-08-17 14:04:42] 659*2^1251020-1 is not prime. Res64: 193441E108D7833E Time : 0.0 sec. user=mdettweiler [2013-08-17 14:10:06] 665*2^1251020-1 is not prime. Res64: 79D4953E77AE3357 Time : 0.0 sec. user=mdettweiler [2013-08-17 14:10:07] 833*2^1251020-1 is not prime. Res64: 1BDFBA052F8D7D99 Time : 0.0 sec. user=mdettweiler [2013-08-17 14:17:02] 657*2^1251021-1 is not prime. Res64: 236F791E1F1FC2DB Time : 0.0 sec. user=mdettweiler [2013-08-17 14:17:03] 781*2^1251021-1 is not prime. Res64: 7E59D78AC1C4DA2F Time : 0.0 sec. user=mdettweiler [2013-08-17 14:20:06] 861*2^1251021-1 is not prime. Res64: EBFA8E1BBD9BEAEA Time : 0.0 sec. user=mdettweiler [2013-08-17 14:20:06] 865*2^1251021-1 is not prime. Res64: A8F97091B68B50BD Time : 0.0 sec. user=mdettweiler [2013-08-17 14:26:13] 895*2^1251021-1 is not prime. Res64: 5E3C25EB5A58D5DD Time : 0.0 sec. user=mdettweiler [2013-08-17 14:26:14] 997*2^1251021-1 is not prime. Res64: D3B111398DEFE553 Time : 0.0 sec. user=mdettweiler [2013-08-17 14:31:37] 999*2^1251021-1 is not prime. Res64: AE05BD8E3519DF8C Time : 0.0 sec. user=mdettweiler [2013-08-17 14:31:37] 657*2^1251022-1 is not prime. Res64: E504E3430BEBEDC7 Time : 0.0 sec. user=mdettweiler [2013-08-17 14:37:34] 821*2^1251022-1 is not prime. Res64: E8451E49E6FEA9FA Time : 0.0 sec. user=mdettweiler [2013-08-17 14:37:35] 827*2^1251022-1 is not prime. Res64: E8A72EC3D4933A2C Time : 0.0 sec. user=mdettweiler [2013-08-17 14:42:35] 911*2^1251022-1 is not prime. Res64: 882078777CC6A1EA Time : 0.0 sec. user=mdettweiler [2013-08-17 14:42:35] 917*2^1251022-1 is not prime. Res64: EBB3AFC3B473BBD6 Time : 0.0 sec. user=mdettweiler [2013-08-17 14:47:35] 987*2^1251022-1 is not prime. Res64: FBE25EF1F210AECF Time : 0.0 sec. user=mdettweiler [2013-08-17 14:47:35] 663*2^1251023-1 is not prime. Res64: B389EA390C5DEB33 Time : 0.0 sec. user=mdettweiler [2013-08-17 14:52:10] 685*2^1251023-1 is not prime. Res64: 2653AB2A691E6512 Time : 0.0 sec. user=mdettweiler [2013-08-17 14:52:10] 693*2^1251023-1 is not prime. Res64: CA3D1823DD5A7262 Time : 0.0 sec. user=mdettweiler [2013-08-17 14:59:02] 753*2^1251023-1 is not prime. Res64: C0ABF1AEDA1FBC2D Time : 0.0 sec. user=mdettweiler [2013-08-17 14:59:02] 921*2^1251023-1 is not prime. Res64: 6AC8329283498506 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:05:12] 945*2^1251023-1 is not prime. Res64: 9BEB8A0DBDA70939 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:05:13] 973*2^1251023-1 is not prime. Res64: 08FEDE63B09A684E Time : 0.0 sec. user=mdettweiler [2013-08-17 15:08:11] 627*2^1251024-1 is not prime. Res64: E388EF607E70EEB2 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:08:12] 725*2^1251024-1 is not prime. Res64: B9718F41747390BC Time : 0.0 sec. user=mdettweiler [2013-08-17 15:13:38] 887*2^1251024-1 is not prime. Res64: 021F3F63FE95A86D Time : 0.0 sec. user=mdettweiler [2013-08-17 15:13:38] 909*2^1251024-1 is not prime. Res64: FB7765ECF38AB254 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:20:26] 929*2^1251024-1 is not prime. Res64: 4A3A828D6ED078A0 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:20:26] 645*2^1251025-1 is not prime. Res64: A65D28966587F051 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:25:49] 667*2^1251025-1 is not prime. Res64: 2474E5F044988672 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:25:49] 777*2^1251025-1 is not prime. Res64: 6B88874BF8B544D0 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:28:47] 831*2^1251025-1 is not prime. Res64: 8E27B1040C2E343F Time : 0.0 sec. user=mdettweiler [2013-08-17 15:28:48] 861*2^1251025-1 is not prime. Res64: EB1088F4506AF4F1 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:35:11] 895*2^1251025-1 is not prime. Res64: 538911BEAE2E69D6 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:35:11] 909*2^1251025-1 is not prime. Res64: 0ACC108BCEE62C3E Time : 0.0 sec. user=mdettweiler [2013-08-17 15:42:59] 925*2^1251025-1 is not prime. Res64: AE7F63FE4E2CBF63 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:42:59] 937*2^1251025-1 is not prime. Res64: 03DFF4345BD4E38B Time : 0.0 sec. user=mdettweiler [2013-08-17 15:47:22] 979*2^1251025-1 is not prime. Res64: 8F627A58D4DDFDFB Time : 0.0 sec. user=mdettweiler [2013-08-17 15:47:22] 615*2^1251026-1 is not prime. Res64: 28E1A738B87BF9B8 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:49:29] 641*2^1251026-1 is not prime. Res64: DCF04E8FFCA83DEF Time : 0.0 sec. user=mdettweiler [2013-08-17 15:49:29] 705*2^1251026-1 is not prime. Res64: 4A4B6FF31FC6D2E1 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:55:53] 713*2^1251026-1 is not prime. Res64: 833748AB908A0D54 Time : 0.0 sec. user=mdettweiler [2013-08-17 15:55:53] 783*2^1251026-1 is not prime. Res64: 735D28639E4EB4A8 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:03:45] 857*2^1251026-1 is not prime. Res64: 278ECA8B82666F91 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:03:46] 893*2^1251026-1 is not prime. Res64: 126D87BE2BEB9E2E Time : 0.0 sec. user=mdettweiler [2013-08-17 16:08:12] 619*2^1251027-1 is not prime. Res64: 4D92F51B8947ACE6 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:08:13] 685*2^1251027-1 is not prime. Res64: 07FF2929293020EE Time : 0.0 sec. user=mdettweiler [2013-08-17 16:11:24] 765*2^1251027-1 is not prime. Res64: F36A7EB73A7D1BD8 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:11:25] 963*2^1251027-1 is not prime. Res64: A93612E22121F368 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:16:29] 689*2^1251028-1 is not prime. Res64: A7BBFFA25F4CC5C9 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:16:30] 777*2^1251028-1 is not prime. Res64: 3E0477D2295A8A7B Time : 0.0 sec. user=mdettweiler [2013-08-17 16:26:18] 923*2^1251028-1 is not prime. Res64: B76243CA887A1118 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:26:19] 969*2^1251028-1 is not prime. Res64: 991008C26E621856 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:29:04] 657*2^1251029-1 is not prime. Res64: E0FC2587D34CF8EE Time : 0.0 sec. user=mdettweiler [2013-08-17 16:29:04] 729*2^1251029-1 is not prime. Res64: 4B9C762BF56162B8 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:32:10] 771*2^1251029-1 is not prime. Res64: F056C4F21AA5E473 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:32:10] 787*2^1251029-1 is not prime. Res64: 843DA64E3166E505 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:37:14] 889*2^1251029-1 is not prime. Res64: 9A59C1EBA0492AA7 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:37:14] 627*2^1251030-1 is not prime. Res64: 0283EC2BEE6644BE Time : 0.0 sec. user=mdettweiler [2013-08-17 16:46:55] 657*2^1251030-1 is not prime. Res64: E46D68C4D017B59B Time : 0.0 sec. user=mdettweiler [2013-08-17 16:46:56] 695*2^1251030-1 is not prime. Res64: 8493A4E1F7E2F7DB Time : 0.0 sec. user=mdettweiler [2013-08-17 16:49:58] 711*2^1251030-1 is not prime. Res64: 9F73C9C9357780D8 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:49:58] 741*2^1251030-1 is not prime. Res64: 9E420B2CD310279B Time : 0.0 sec. user=mdettweiler [2013-08-17 16:54:02] 791*2^1251030-1 is not prime. Res64: 0FCA4ECB9E1C1F69 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:54:02] 963*2^1251030-1 is not prime. Res64: 67D9FE7E54811CB9 Time : 0.0 sec. user=mdettweiler [2013-08-17 16:57:52] 759*2^1251031-1 is not prime. Res64: 98381350D0418C8E Time : 0.0 sec. user=mdettweiler [2013-08-17 16:57:52] 763*2^1251031-1 is not prime. Res64: 9BA743B33B57E89E Time : 0.0 sec. user=mdettweiler [2013-08-17 17:07:40] 775*2^1251031-1 is not prime. Res64: 762ADFB39F80CBB2 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:07:41] 783*2^1251031-1 is not prime. Res64: 5BFBA3D91B18450B Time : 0.0 sec. user=mdettweiler [2013-08-17 17:10:44] 829*2^1251031-1 is not prime. Res64: 81B66F68DDCE127C Time : 0.0 sec. user=mdettweiler [2013-08-17 17:10:45] 841*2^1251031-1 is not prime. Res64: 17873C5014B09296 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:17:04] 913*2^1251031-1 is not prime. Res64: F50F91C4035602D0 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:17:04] 951*2^1251031-1 is not prime. Res64: B445CED77A905FCB Time : 0.0 sec. user=mdettweiler [2013-08-17 17:19:47] 993*2^1251031-1 is not prime. Res64: 3937D521B16C0E42 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:19:47] 873*2^1251032-1 is not prime. Res64: C2C3313A861788C0 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:29:35] 963*2^1251032-1 is not prime. Res64: 5A15D0F76C86712C Time : 0.0 sec. user=mdettweiler [2013-08-17 17:29:35] 669*2^1251033-1 is not prime. Res64: F2B1FC52FB85B061 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:31:37] 735*2^1251033-1 is not prime. Res64: EF03E9EE466252A7 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:31:37] 745*2^1251033-1 is not prime. Res64: 53D7BFFBED22B788 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:37:51] 805*2^1251033-1 is not prime. Res64: E0DAD85F694F4FD5 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:37:51] 819*2^1251033-1 is not prime. Res64: E7941806F36428F6 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:42:31] 985*2^1251033-1 is not prime. Res64: 26519B77F7DB0424 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:42:32] 991*2^1251033-1 is not prime. Res64: A345F32C05E2056F Time : 0.0 sec. user=mdettweiler [2013-08-17 17:51:20] 999*2^1251033-1 is not prime. Res64: E3B05F05B81C226D Time : 0.0 sec. user=mdettweiler [2013-08-17 17:51:20] 665*2^1251034-1 is not prime. Res64: 3945BC112A16F0E3 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:52:16] 803*2^1251034-1 is not prime. Res64: 6212B79072D66319 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:52:17] 885*2^1251034-1 is not prime. Res64: DADF633D89E5B974 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:59:16] 947*2^1251034-1 is not prime. Res64: B7363D68E0EFFB13 Time : 0.0 sec. user=mdettweiler [2013-08-17 17:59:17] 649*2^1251035-1 is not prime. Res64: 5DF01E842404BF6A Time : 0.0 sec. user=mdettweiler [2013-08-17 18:02:57] 783*2^1251035-1 is not prime. Res64: 3FDAA5480A6C778C Time : 0.0 sec. user=mdettweiler [2013-08-17 18:02:58] 855*2^1251035-1 is not prime. Res64: 966AF563D9DE576D Time : 0.0 sec. user=mdettweiler [2013-08-17 18:12:41] 889*2^1251035-1 is not prime. Res64: E06ABAB5D3C40CC0 Time : 0.0 sec. user=mdettweiler [2013-08-17 18:12:42] 903*2^1251035-1 is not prime. Res64: 6E0A5F0B63D21FAB Time : 0.0 sec. user=mdettweiler [2013-08-17 18:14:38] 913*2^1251035-1 is not prime. Res64: 97F737E0D39136E7 Time : 0.0 sec. user=mdettweiler [2013-08-17 18:14:38] 949*2^1251035-1 is not prime. Res64: C945B2B3C73A328F Time : 0.0 sec. user=mdettweiler [2013-08-17 18:20:37] 789*2^1251036-1 is not prime. Res64: B6B881C29C3F9233 Time : 0.0 sec. user=mdettweiler [2013-08-17 18:20:38] 909*2^1251036-1 is not prime. Res64: 3F70DCF0414D2C0E Time : 0.0 sec. user=mdettweiler [2013-08-17 18:24:25] 999*2^1251036-1 is not prime. Res64: 1D6BD7231BFE0A09 Time : 0.0 sec. user=mdettweiler [2013-08-17 18:24:26] 607*2^1251037-1 is not prime. Res64: D640F9803A32FCB8 Time : 0.0 sec. user=mdettweiler [2013-08-17 18:33:22] 717*2^1251037-1 is not prime. Res64: 490DE543E3EF8DC3 Time : 0.0 sec. user=mdettweiler [2013-08-17 18:33:22] 861*2^1251037-1 is not prime. Res64: 0FC5774EE495CC0F Time : 0.0 sec. user=mdettweiler [2013-08-17 18:37:24] 919*2^1251037-1 is not prime. Res64: A8343247E8A5EB1C Time : 0.0 sec. user=mdettweiler [2013-08-17 18:37:25] 939*2^1251037-1 is not prime. Res64: 6409BBE66013BDFD Time : 0.0 sec. user=mdettweiler [2013-08-17 18:44:04] 945*2^1251037-1 is not prime. Res64: F54AA0229A5F8ABA Time : 0.0 sec. user=mdettweiler [2013-08-17 18:44:04] 955*2^1251037-1 is not prime. Res64: 4997287BF0C3228C Time : 0.0 sec. user=mdettweiler [2013-08-17 18:45:41] 743*2^1251038-1 is not prime. Res64: 38D1A86D4CAA1977 Time : 0.0 sec. user=mdettweiler [2013-08-17 18:45:41] 815*2^1251038-1 is not prime. Res64: 906968633A76D4BA Time : 0.0 sec. user=mdettweiler [2013-08-17 18:54:26] 609*2^1251039-1 is not prime. Res64: 81DCD3BBE3508BD7 Time : 0.0 sec. user=mdettweiler [2013-08-17 18:54:26] 621*2^1251039-1 is not prime. Res64: C1A85307943E7581 Time : 0.0 sec. user=mdettweiler [2013-08-17 18:58:35] 703*2^1251039-1 is not prime. Res64: C2153E2F30EDA1EB Time : 0.0 sec. user=mdettweiler [2013-08-17 18:58:35] 861*2^1251039-1 is not prime. Res64: A5816DCCB943E1C1 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:04:57] 885*2^1251039-1 is not prime. Res64: EB931980FB23747D Time : 0.0 sec. user=mdettweiler [2013-08-17 19:04:58] 895*2^1251039-1 is not prime. Res64: 49F4778690EDB98B Time : 0.0 sec. user=mdettweiler [2013-08-17 19:08:55] 933*2^1251039-1 is not prime. Res64: D287209EA2518990 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:08:56] 951*2^1251039-1 is not prime. Res64: 1864982789DB8AAA Time : 0.0 sec. user=mdettweiler [2013-08-17 19:15:11] 605*2^1251040-1 is not prime. Res64: A700F663C5E68702 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:15:11] 699*2^1251040-1 is not prime. Res64: 8E52FBEF655310B6 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:19:43] 719*2^1251040-1 is not prime. Res64: 889D4BC3FEB969F8 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:19:43] 819*2^1251040-1 is not prime. Res64: 6149B22C8377B2CE Time : 0.0 sec. user=mdettweiler [2013-08-17 19:25:45] 849*2^1251040-1 is not prime. Res64: E43E7AED27A32658 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:25:46] 887*2^1251040-1 is not prime. Res64: 5805BD9FD2904041 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:32:10] 909*2^1251040-1 is not prime. Res64: E23FEC382F4D541F Time : 0.0 sec. user=mdettweiler [2013-08-17 19:32:10] 923*2^1251040-1 is not prime. Res64: D5E42334DFAC1BF4 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:36:17] 619*2^1251041-1 is not prime. Res64: 2FF62824D551638E Time : 0.0 sec. user=mdettweiler [2013-08-17 19:36:18] 669*2^1251041-1 is not prime. Res64: 6CF2B70CFCECEB17 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:42:18] 997*2^1251041-1 is not prime. Res64: 8A84F0FCE554B6D3 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:42:19] 651*2^1251042-1 is not prime. Res64: 1A4849E840E4EDB6 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:47:04] 731*2^1251042-1 is not prime. Res64: 3F51F349A6B4C9F6 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:47:04] 893*2^1251042-1 is not prime. Res64: AA6CDA3C16245C8C Time : 0.0 sec. user=mdettweiler [2013-08-17 19:54:12] 947*2^1251042-1 is not prime. Res64: F83D708FFF4D06A4 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:54:13] 639*2^1251043-1 is not prime. Res64: 23BF0A22941E09D7 Time : 0.0 sec. user=mdettweiler [2013-08-17 19:57:05] 723*2^1251043-1 is not prime. Res64: 6EA24FD011AFFB3C Time : 0.0 sec. user=mdettweiler [2013-08-17 19:57:05] 745*2^1251043-1 is not prime. Res64: B01EF30EE6CFBF55 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:04:03] 805*2^1251043-1 is not prime. Res64: 913CB20529654DCF Time : 0.0 sec. user=mdettweiler [2013-08-17 20:04:03] 985*2^1251043-1 is not prime. Res64: 8BC45C13F7D7DC3F Time : 0.0 sec. user=mdettweiler [2013-08-17 20:07:55] 869*2^1251044-1 is not prime. Res64: 3B4371D30B91FB8C Time : 0.0 sec. user=mdettweiler [2013-08-17 20:07:55] 899*2^1251044-1 is not prime. Res64: C35A3784FC7EDDD0 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:17:23] 935*2^1251044-1 is not prime. Res64: E5E8634C73DF2D69 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:17:24] 987*2^1251044-1 is not prime. Res64: 5B517643DDB2634F Time : 0.0 sec. user=mdettweiler [2013-08-17 20:18:03] 649*2^1251045-1 is not prime. Res64: ACFF9F9AD03DCF91 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:18:03] 685*2^1251045-1 is not prime. Res64: 37695C5251086376 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:25:16] 789*2^1251045-1 is not prime. Res64: BDF4724114CE3C95 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:25:17] 817*2^1251045-1 is not prime. Res64: 51FB316797D2E762 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:30:56] 975*2^1251045-1 is not prime. Res64: 2C33D6558221BF82 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:30:56] 991*2^1251045-1 is not prime. Res64: F4BF19BDFF91D552 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:38:01] 635*2^1251046-1 is not prime. Res64: D29DA50C2F56178A Time : 0.0 sec. user=mdettweiler [2013-08-17 20:38:01] 671*2^1251046-1 is not prime. Res64: D964E9D80E63170E Time : 0.0 sec. user=mdettweiler [2013-08-17 20:38:40] 833*2^1251046-1 is not prime. Res64: 14DAF20B9FEEEBC7 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:38:41] 619*2^1251047-1 is not prime. Res64: 0C9171042204572A Time : 0.0 sec. user=mdettweiler [2013-08-17 20:45:41] 651*2^1251047-1 is not prime. Res64: E90EC0C21F51EEEC Time : 0.0 sec. user=mdettweiler [2013-08-17 20:45:41] 813*2^1251047-1 is not prime. Res64: D27AB0DE3C61B400 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:52:14] 823*2^1251047-1 is not prime. Res64: 5F7738DA1CABB318 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:52:15] 909*2^1251047-1 is not prime. Res64: 3579B76FB4F8072D Time : 0.0 sec. user=mdettweiler [2013-08-17 20:58:58] 737*2^1251048-1 is not prime. Res64: 3981634E431221A5 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:58:58] 747*2^1251048-1 is not prime. Res64: 4544E0E943EB05A4 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:59:20] 963*2^1251047-1 is not prime. Res64: 334E789F2ABB5A15 Time : 0.0 sec. user=mdettweiler [2013-08-17 20:59:21] 725*2^1251048-1 is not prime. Res64: A1AD87E1B239A2D1 Time : 0.0 sec. user=mdettweiler [2013-08-17 21:05:58] 839*2^1251048-1 is not prime. Res64: 6540651B3DC4AF03 Time : 0.0 sec. user=mdettweiler [2013-08-17 21:05:59] 899*2^1251048-1 is not prime. Res64: 42EDDCBE61B68A71 Time : 0.0 sec. user=mdettweiler [2013-08-17 21:12:30] 789*2^1251049-1 is not prime. Res64: B8C100D9CB7FDD6F Time : 0.0 sec. user=mdettweiler [2013-08-17 21:12:31] 799*2^1251049-1 is not prime. Res64: D88FE6F3AC60C736 Time : 0.0 sec. user=mdettweiler [2013-08-17 21:19:17] 829*2^1251049-1 is not prime. Res64: 75F9B0A6A518B473 Time : 0.0 sec. user=mdettweiler [2013-08-17 21:19:18] 895*2^1251049-1 is not prime. Res64: D8D4BFB39AFDB907 Time : 0.0 sec. user=mdettweiler [2013-08-17 21:20:35] 897*2^1251049-1 is not prime. Res64: 721C9572CCB51E12 Time : 0.0 sec. user=mdettweiler [2013-08-17 21:20:36] 909*2^1251049-1 is not prime. Res64: 1B1FB54EA4A8A3FF Time : 0.0 sec. user=mdettweiler [2013-08-17 21:27:20] 955*2^1251049-1 is not prime. Res64: 42FAF9CB0F7ABE56 Time : 0.0 sec. user=mdettweiler [2013-08-17 21:27:21] 677*2^1251050-1 is not prime. Res64: 0D234227C5B9053D Time : 0.0 sec. user=mdettweiler [2013-08-17 21:32:52] 713*2^1251050-1 is not prime. Res64: 5AA21FD7E5C3A2EC Time : 0.0 sec. user=mdettweiler [2013-08-17 21:32:52] 797*2^1251050-1 is not prime. Res64: 8E41AF22443FF1DC Time : 0.0 sec. user=mdettweiler [2013-08-17 21:40:35] 827*2^1251050-1 is not prime. Res64: B1E1A0876214041C Time : 0.0 sec. user=mdettweiler [2013-08-17 21:40:35] 953*2^1251050-1 is not prime. Res64: 19AC3580DBC31D6B Time : 0.0 sec. user=mdettweiler [2013-08-17 21:40:56] 613*2^1251051-1 is not prime. Res64: 44985D7DDC6112D3 Time : 0.0 sec. user=mdettweiler [2013-08-17 21:40:57] 723*2^1251051-1 is not prime. Res64: DEB4F7DCD70290F1 Time : 0.0 sec. user=mdettweiler [2013-08-17 21:48:41] 789*2^1251051-1 is not prime. Res64: E9A048646EDE4475 Time : 0.0 sec. user=mdettweiler [2013-08-17 21:48:42] 943*2^1251051-1 is not prime. Res64: F7185435A481A6FB Time : 0.0 sec. user=mdettweiler [2013-08-17 21:55:12] 951*2^1251051-1 is not prime. Res64: A19D48C5882D6B65 Time : 0.0 sec. user=mdettweiler [2013-08-17 21:55:12] 975*2^1251052-1 is not prime. Res64: 386CE51F17B0545E Time : 0.0 sec. user=mdettweiler [2013-08-17 22:00:55] 619*2^1251053-1 is not prime. Res64: D528765F21609F82 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:00:56] 675*2^1251053-1 is not prime. Res64: 7791819B26173C29 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:01:13] 721*2^1251053-1 is not prime. Res64: 9BBB6C64AD099D03 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:01:14] 811*2^1251053-1 is not prime. Res64: 380FFF1B759A6D19 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:10:59] 937*2^1251053-1 is not prime. Res64: B2C902C99CA10F69 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:10:59] 939*2^1251053-1 is not prime. Res64: E7A6F6170282DC7C Time : 0.0 sec. user=mdettweiler [2013-08-17 22:15:32] 605*2^1251054-1 is not prime. Res64: 712E11D5C99EA589 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:15:32] 615*2^1251054-1 is not prime. Res64: 3029AD0E1AFA00E6 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:21:23] 741*2^1251054-1 is not prime. Res64: 770DFA0A92D31D35 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:21:23] 893*2^1251054-1 is not prime. Res64: B210F57866DE233D Time : 0.0 sec. user=mdettweiler [2013-08-17 22:21:34] 603*2^1251055-1 is not prime. Res64: 8DF09323A5C2F561 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:21:35] 619*2^1251055-1 is not prime. Res64: 834F93EAE09694B9 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:31:26] 639*2^1251055-1 is not prime. Res64: 874CAE33B171AD99 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:31:26] 673*2^1251055-1 is not prime. Res64: CF38A6680561E338 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:35:51] 889*2^1251055-1 is not prime. Res64: 04CFF282DB258CD6 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:35:51] 891*2^1251055-1 is not prime. Res64: 8A1D2504260729D2 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:41:52] 633*2^1251056-1 is not prime. Res64: F3FCA326665C1AD1 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:41:52] 833*2^1251056-1 is not prime. Res64: AFEEB60A1EE8E8F2 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:43:00] 923*2^1251056-1 is not prime. Res64: 3E693F2A98A056F8 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:43:00] 609*2^1251057-1 is not prime. Res64: F70DA3B590AF1802 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:51:52] 625*2^1251057-1 is not prime. Res64: B75F4009A9F0AE27 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:51:53] 727*2^1251057-1 is not prime. Res64: C5210A3DB6AD50A9 Time : 0.0 sec. user=mdettweiler [2013-08-17 22:56:30] 781*2^1251057-1 is not prime. Res64: 24E5D98DA718167B Time : 0.0 sec. user=mdettweiler [2013-08-17 22:56:30] 819*2^1251057-1 is not prime. Res64: 2057DA1820DE03E7 Time : 0.0 sec. user=mdettweiler [2013-08-17 23:03:13] 835*2^1251057-1 is not prime. Res64: 83C64B529A9B251B Time : 0.0 sec. user=mdettweiler [2013-08-17 23:03:14] 945*2^1251057-1 is not prime. Res64: 405BD89DF7C09843 Time : 0.0 sec. user=mdettweiler [2013-08-17 23:04:21] 997*2^1251057-1 is not prime. Res64: 1BFC9B58231B25D2 Time : 0.0 sec. user=mdettweiler [2013-08-17 23:04:21] 623*2^1251058-1 is not prime. Res64: A302008BBD9444FF Time : 0.0 sec. user=mdettweiler [2013-08-17 23:12:09] 731*2^1251058-1 is not prime. Res64: 26AA3064EB5EA85A Time : 0.0 sec. user=mdettweiler [2013-08-17 23:12:12] 801*2^1251058-1 is not prime. Res64: E65D272C85018652 Time : 0.0 sec. user=mdettweiler [2013-08-17 23:17:38] 887*2^1251058-1 is not prime. Res64: 74CBB94035BB3046 Time : 0.0 sec. user=mdettweiler [2013-08-17 23:17:38] 923*2^1251058-1 is not prime. Res64: 148736B0B691163E Time : 0.0 sec. user=mdettweiler [2013-08-17 23:24:39] 643*2^1251059-1 is not prime. Res64: 98F6C86270BA77FA Time : 0.0 sec. user=mdettweiler [2013-08-17 23:24:39] 679*2^1251059-1 is not prime. Res64: 5123C27D7463ADF9 Time : 0.0 sec. user=mdettweiler [2013-08-17 23:24:46] 951*2^1251058-1 is not prime. Res64: F46B893A89BDDFBA Time : 0.0 sec. user=mdettweiler [2013-08-17 23:24:47] 615*2^1251059-1 is not prime. Res64: 2A4EDB20F0CC1C63 Time : 0.0 sec. user=mdettweiler [2013-08-17 23:32:37] 703*2^1251059-1 is not prime. Res64: 22DF8802E6B98E17 Time : 0.0 sec. user=mdettweiler [2013-08-17 23:32:37] 753*2^1251059-1 is not prime. Res64: 58B98B408BCFB10F Time : 0.0 sec. user=mdettweiler [2013-08-17 23:38:02] 825*2^1251059-1 is not prime. Res64: 1BD427309FCDB818 Time : 0.0 sec. user=mdettweiler [2013-08-17 23:38:02] 879*2^1251059-1 is not prime. Res64: 8CB4FC7FF93C396C Time : 0.0 sec. user=mdettweiler [2013-08-17 23:45:12] 719*2^1251060-1 is not prime. Res64: 7467ADB9960A5DA6 Time : 0.0 sec. user=mdettweiler [2013-08-17 23:45:12] 725*2^1251060-1 is not prime. Res64: 228736AF1872FFFF Time : 0.0 sec. user=mdettweiler [2013-08-17 23:47:12] 939*2^1251059-1 is not prime. Res64: 1149180254A3088F Time : 0.0 sec. user=mdettweiler [2013-08-17 23:47:13] 993*2^1251059-1 is not prime. Res64: D2DD22C3861C65AF Time : 0.0 sec. user=mdettweiler [2013-08-17 23:52:51] 779*2^1251060-1 is not prime. Res64: EFF38B440923036E Time : 0.0 sec. user=mdettweiler [2013-08-17 23:52:51] 825*2^1251060-1 is not prime. Res64: 4A4D82523E191DF3 Time : 0.0 sec. user=mdettweiler [2013-08-17 23:58:13] 619*2^1251061-1 is not prime. Res64: F2CFB2379D67A019 Time : 0.0 sec. user=mdettweiler [2013-08-17 23:58:14] 645*2^1251061-1 is not prime. Res64: 303E2F0815150A74 Time : 0.0 sec.