user=mdettweiler [2013-08-14 00:06:04] 619*2^1250677-1 is not prime. Res64: FCB8F891CA6F1B5A Time : 0.0 sec. user=mdettweiler [2013-08-14 00:06:05] 661*2^1250677-1 is not prime. Res64: 717ED1E99DC30A32 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:17:59] 727*2^1250677-1 is not prime. Res64: FCE739381686D271 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:18:00] 765*2^1250677-1 is not prime. Res64: CCE67D1C0CD8B2E8 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:18:06] 799*2^1250677-1 is not prime. Res64: 1033AB9D4DDE43D8 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:18:07] 867*2^1250677-1 is not prime. Res64: 8DF814A664A62C7F Time : 0.0 sec. user=mdettweiler [2013-08-14 00:20:56] 895*2^1250677-1 is not prime. Res64: 124C179B5D5B8E1A Time : 0.0 sec. user=mdettweiler [2013-08-14 00:20:57] 915*2^1250677-1 is not prime. Res64: 9D1D4A92EC19D30B Time : 0.0 sec. user=mdettweiler [2013-08-14 00:26:50] 967*2^1250677-1 is not prime. Res64: F0F38BBA58927434 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:26:50] 677*2^1250678-1 is not prime. Res64: 0E9BF4FD1C6A2FAE Time : 0.0 sec. user=mdettweiler [2013-08-14 00:37:42] 711*2^1250678-1 is not prime. Res64: 0A13AD0FFBB346B0 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:37:43] 791*2^1250678-1 is not prime. Res64: B5ACB91F0B72D469 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:37:49] 797*2^1250678-1 is not prime. Res64: E1758B8C40B740B4 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:37:49] 827*2^1250678-1 is not prime. Res64: EBAB0FBF1FBD45C0 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:41:34] 867*2^1250678-1 is not prime. Res64: 4AE163B7414333CF Time : 0.0 sec. user=mdettweiler [2013-08-14 00:41:35] 923*2^1250678-1 is not prime. Res64: D1FECB5DC6BCC359 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:46:28] 615*2^1250679-1 is not prime. Res64: 60DCDECCAE8547EA Time : 0.0 sec. user=mdettweiler [2013-08-14 00:46:29] 619*2^1250679-1 is not prime. Res64: D7A51D69C69E8338 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:57:36] 621*2^1250679-1 is not prime. Res64: 03EC8EDED7837C4C Time : 0.0 sec. user=mdettweiler [2013-08-14 00:57:36] 723*2^1250679-1 is not prime. Res64: F79247A172D58B41 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:57:57] 741*2^1250679-1 is not prime. Res64: E13054F8F810FAA6 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:57:58] 873*2^1250679-1 is not prime. Res64: 1C8E85545ECC5884 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:02:29] 885*2^1250679-1 is not prime. Res64: 4EDDAF356C080692 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:02:30] 919*2^1250679-1 is not prime. Res64: CBCB84449875827D Time : 0.0 sec. user=mdettweiler [2013-08-14 01:08:42] 921*2^1250679-1 is not prime. Res64: 1CEBA402D82A6820 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:08:43] 931*2^1250679-1 is not prime. Res64: 9CCCC6DA7D00296C Time : 0.0 sec. user=juhehe [2013-08-14 01:12:23] 963*2^1250678-1 is not prime. Res64: 64AD9CA290742607 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:19:32] 951*2^1250679-1 is not prime. Res64: 0D562F89616552FA Time : 0.0 sec. user=mdettweiler [2013-08-14 01:19:32] 975*2^1250679-1 is not prime. Res64: A62B55AFDF46E505 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:19:58] 979*2^1250679-1 is not prime. Res64: 5919AAA0CF4A3EB0 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:19:58] 999*2^1250679-1 is not prime. Res64: 1677F5B74B0B938F Time : 0.0 sec. user=mdettweiler [2013-08-14 01:22:33] 603*2^1250680-1 is not prime. Res64: 333F681E201029ED Time : 0.0 sec. user=mdettweiler [2013-08-14 01:22:34] 699*2^1250680-1 is not prime. Res64: 034888EB4A39447B Time : 0.0 sec. user=mdettweiler [2013-08-14 01:29:17] 849*2^1250680-1 is not prime. Res64: 5FD9920CB28D9760 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:29:18] 965*2^1250680-1 is not prime. Res64: 9CAADA241091102F Time : 0.0 sec. user=mdettweiler [2013-08-14 01:39:13] 691*2^1250681-1 is not prime. Res64: AC2BF6B1D5EDD6A7 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:39:14] 715*2^1250681-1 is not prime. Res64: 051F2FB006B17366 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:39:36] 747*2^1250681-1 is not prime. Res64: 77004E50CCBA0F33 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:39:36] 865*2^1250681-1 is not prime. Res64: D0B2585C1D6EBFF3 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:43:08] 901*2^1250681-1 is not prime. Res64: 37A38C00A10C8D5A Time : 0.0 sec. user=mdettweiler [2013-08-14 01:43:08] 997*2^1250681-1 is not prime. Res64: A80C46D4E5117B78 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:48:54] 635*2^1250682-1 is not prime. Res64: 4601934B5F113990 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:48:54] 671*2^1250682-1 is not prime. Res64: C3D4CBD65ACC9CC1 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:58:50] 711*2^1250682-1 is not prime. Res64: C157602BB95E5668 Time : 0.0 sec. user=mdettweiler [2013-08-14 01:58:51] 767*2^1250682-1 is not prime. Res64: 67B3B5379DEA19CE Time : 0.0 sec. user=mdettweiler [2013-08-14 02:00:09] 843*2^1250682-1 is not prime. Res64: 9A81E8D59EDC64A6 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:00:10] 921*2^1250682-1 is not prime. Res64: BD6F396CA5D84332 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:04:09] 975*2^1250682-1 is not prime. Res64: 277B71F04BB429B0 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:04:10] 735*2^1250683-1 is not prime. Res64: 174903DF52755EB1 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:23:37] 741*2^1250683-1 is not prime. Res64: 23F08B83EF3BC5AE Time : 0.0 sec. user=mdettweiler [2013-08-14 02:23:38] 745*2^1250683-1 is not prime. Res64: 4211BEED9471FC89 Time : 0.0 sec. user=juhehe [2013-08-14 02:29:43] 789*2^1250683-1 is not prime. Res64: 29F933D51C14F09D Time : 0.0 sec. user=mdettweiler [2013-08-14 02:34:17] 811*2^1250683-1 is not prime. Res64: 23F7384D158C4760 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:34:18] 819*2^1250683-1 is not prime. Res64: 4810741A28E53D00 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:34:31] 901*2^1250683-1 is not prime. Res64: D10490DE94E6D705 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:34:31] 665*2^1250684-1 is not prime. Res64: 4FABD803F4F9CE78 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:34:51] 903*2^1250684-1 is not prime. Res64: 5245B2E93E32BE98 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:34:53] 935*2^1250684-1 is not prime. Res64: 062138BEC52535E6 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:45:33] 995*2^1250684-1 is not prime. Res64: 2DC47BF6DF021340 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:45:34] 765*2^1250685-1 is not prime. Res64: E9FDC45250A4A669 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:54:09] 611*2^1250686-1 is not prime. Res64: 66D356251C72C7A4 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:54:09] 647*2^1250686-1 is not prime. Res64: E99E584E9677EE49 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:54:36] 705*2^1250686-1 is not prime. Res64: DDD3CDB6F8D1AF0E Time : 0.0 sec. user=mdettweiler [2013-08-14 02:54:37] 723*2^1250686-1 is not prime. Res64: 8EBE0C77D9683E43 Time : 0.0 sec. user=mdettweiler [2013-08-14 02:55:44] 937*2^1250685-1 is not prime. Res64: 696F37FCC718314E Time : 0.0 sec. user=mdettweiler [2013-08-14 02:55:44] 961*2^1250685-1 is not prime. Res64: D1539C4E293AEC5A Time : 0.0 sec. user=mdettweiler [2013-08-14 03:05:25] 741*2^1250686-1 is not prime. Res64: D0B863A26032F20E Time : 0.0 sec. user=mdettweiler [2013-08-14 03:05:26] 843*2^1250686-1 is not prime. Res64: 27F6D0DFF2628938 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:13:43] 857*2^1250686-1 is not prime. Res64: F6B9EF220F3E11EC Time : 0.0 sec. user=mdettweiler [2013-08-14 03:13:43] 873*2^1250686-1 is not prime. Res64: 9B4CF813C5755237 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:15:05] 897*2^1250686-1 is not prime. Res64: F67E8BB865A559F9 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:15:05] 923*2^1250686-1 is not prime. Res64: 702F7F69BD0D6908 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:16:11] 933*2^1250686-1 is not prime. Res64: 99DE30A1B7D2D065 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:16:11] 609*2^1250687-1 is not prime. Res64: 4F160794DB6E9A58 Time : 0.0 sec. user=juhehe [2013-08-14 03:21:25] 885*2^1250685-1 is not prime. Res64: 3DF0896CE422E565 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:25:00] 661*2^1250687-1 is not prime. Res64: FCF22C91DFDFBF57 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:25:01] 685*2^1250687-1 is not prime. Res64: 5AC1A29D442D23D3 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:33:13] 711*2^1250687-1 is not prime. Res64: 21D8D7DEE7124DB9 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:33:14] 859*2^1250687-1 is not prime. Res64: 1E06C6B5E7D6E3EC Time : 0.0 sec. user=mdettweiler [2013-08-14 03:34:39] 861*2^1250687-1 is not prime. Res64: A0FF2B6ACC1D7099 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:34:40] 879*2^1250687-1 is not prime. Res64: F7A88C94C92A493A Time : 0.0 sec. user=mdettweiler [2013-08-14 03:36:41] 963*2^1250687-1 is not prime. Res64: 90A3655077AFE2ED Time : 0.0 sec. user=mdettweiler [2013-08-14 03:36:41] 657*2^1250688-1 is not prime. Res64: AFBF677F5EB5CF3A Time : 0.0 sec. user=mdettweiler [2013-08-14 03:45:32] 809*2^1250688-1 is not prime. Res64: 0785748CD8593A34 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:45:33] 915*2^1250688-1 is not prime. Res64: 06B3298F38493A05 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:54:16] 999*2^1250688-1 is not prime. Res64: F7D0326B8228ACBC Time : 0.0 sec. user=mdettweiler [2013-08-14 03:54:16] 649*2^1250689-1 is not prime. Res64: 028CA9AAF6769377 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:54:39] 667*2^1250689-1 is not prime. Res64: 83BC76FFCC78C9B1 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:54:40] 729*2^1250689-1 is not prime. Res64: E7043FFD43759487 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:56:24] 747*2^1250689-1 is not prime. Res64: 95D1510BF69322F1 Time : 0.0 sec. user=mdettweiler [2013-08-14 03:56:25] 801*2^1250689-1 is not prime. Res64: 0BADA303FECF7E0E Time : 0.0 sec. user=juhehe [2013-08-14 04:03:51] 725*2^1250688-1 is not prime. Res64: F4C7529A676C85F6 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:07:13] 939*2^1250689-1 is not prime. Res64: B3D6AF9E353474A2 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:07:14] 975*2^1250689-1 is not prime. Res64: 94CA229A7CBFBEA6 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:14:21] 743*2^1250690-1 is not prime. Res64: 685AC46C7976AAB3 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:14:22] 825*2^1250690-1 is not prime. Res64: 367AE26D9DF8032C Time : 0.0 sec. user=mdettweiler [2013-08-14 04:14:25] 635*2^1250690-1 is not prime. Res64: EE6EB611608BE3A9 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:14:26] 675*2^1250690-1 is not prime. Res64: D3454521EE076470 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:16:33] 827*2^1250690-1 is not prime. Res64: E27B78EA03923421 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:16:34] 867*2^1250690-1 is not prime. Res64: 9C583C1A457C213D Time : 0.0 sec. user=mdettweiler [2013-08-14 04:28:16] 875*2^1250690-1 is not prime. Res64: 68C889BBA9171CD2 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:28:16] 945*2^1250690-1 is not prime. Res64: BDA07B4BFFAD7576 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:34:29] 669*2^1250691-1 is not prime. Res64: 450F653EDF784F93 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:34:30] 783*2^1250691-1 is not prime. Res64: 4269A9D2F71870AE Time : 0.0 sec. user=mdettweiler [2013-08-14 04:37:04] 895*2^1250691-1 is not prime. Res64: 76ADEF6E6D3FBF93 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:37:05] 943*2^1250691-1 is not prime. Res64: B1C7D18B599C73F8 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:38:21] 945*2^1250691-1 is not prime. Res64: 3EF69998EBCECB09 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:38:21] 975*2^1250691-1 is not prime. Res64: 5AF3D9976AC75AFC Time : 0.0 sec. user=mdettweiler [2013-08-14 04:48:51] 979*2^1250691-1 is not prime. Res64: F98586D048AFE70A Time : 0.0 sec. user=mdettweiler [2013-08-14 04:48:52] 609*2^1250692-1 is not prime. Res64: CC842E41AF521059 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:55:24] 899*2^1250692-1 is not prime. Res64: ACEF18A39FE81D80 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:55:25] 999*2^1250692-1 is not prime. Res64: 6B609193E47FFA70 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:57:35] 831*2^1250693-1 is not prime. Res64: A5F3923FE224C289 Time : 0.0 sec. user=mdettweiler [2013-08-14 04:57:36] 885*2^1250693-1 is not prime. Res64: FBB2B5D07F1687C3 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:00:02] 939*2^1250693-1 is not prime. Res64: A103A5C169189DCB Time : 0.0 sec. user=mdettweiler [2013-08-14 05:00:03] 981*2^1250693-1 is not prime. Res64: D746A7B5F03136BC Time : 0.0 sec. user=mdettweiler [2013-08-14 05:10:07] 987*2^1250693-1 is not prime. Res64: E394EB98EEEC22CD Time : 0.0 sec. user=mdettweiler [2013-08-14 05:10:07] 605*2^1250694-1 is not prime. Res64: CFA7D310988C36CA Time : 0.0 sec. user=mdettweiler [2013-08-14 05:15:44] 717*2^1250694-1 is not prime. Res64: 8152B40F779432EB Time : 0.0 sec. user=mdettweiler [2013-08-14 05:15:45] 851*2^1250694-1 is not prime. Res64: D8083E856224F492 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:19:43] 601*2^1250695-1 is not prime. Res64: 1ECB38E2D5BE123D Time : 0.0 sec. user=mdettweiler [2013-08-14 05:19:43] 661*2^1250695-1 is not prime. Res64: 36DC88271A9E8512 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:21:09] 921*2^1250694-1 is not prime. Res64: D41E363BA5383573 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:21:10] 957*2^1250694-1 is not prime. Res64: 91FD80632D747510 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:29:44] 709*2^1250695-1 is not prime. Res64: F0F5FF91C78DEB24 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:29:45] 841*2^1250695-1 is not prime. Res64: 2A36399194C59D11 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:36:14] 849*2^1250695-1 is not prime. Res64: 5D88325C44950E88 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:36:14] 951*2^1250695-1 is not prime. Res64: A4684A9580D2B478 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:40:07] 961*2^1250695-1 is not prime. Res64: 88692291F85EDA91 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:40:07] 603*2^1250696-1 is not prime. Res64: 183A0DDA219E0FCE Time : 0.0 sec. user=mdettweiler [2013-08-14 05:40:45] 825*2^1250696-1 is not prime. Res64: A43A946BD1E08725 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:40:45] 893*2^1250696-1 is not prime. Res64: 2AA7388AA465AC3A Time : 0.0 sec. user=juhehe [2013-08-14 05:48:59] 893*2^1250694-1 is not prime. Res64: 0BB0A3EEB7E9F04F Time : 0.0 sec. user=mdettweiler [2013-08-14 05:49:12] 637*2^1250697-1 is not prime. Res64: 14B026F150BD8BD9 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:49:13] 661*2^1250697-1 is not prime. Res64: F2FC2AC90E730EA9 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:55:44] 717*2^1250697-1 is not prime. Res64: 0C85109E2DE89ACB Time : 0.0 sec. user=mdettweiler [2013-08-14 05:55:45] 747*2^1250697-1 is not prime. Res64: 4E55DF9827285B3B Time : 0.0 sec. user=mdettweiler [2013-08-14 05:59:32] 871*2^1250697-1 is not prime. Res64: 78D0C5AF566B9A60 Time : 0.0 sec. user=mdettweiler [2013-08-14 05:59:32] 895*2^1250697-1 is not prime. Res64: 269D0DA6E1ADE3D9 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:00:09] 611*2^1250698-1 is not prime. Res64: FBB4D1585D8FA080 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:00:10] 635*2^1250698-1 is not prime. Res64: 9375ACE8BEE8D2B5 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:08:39] 651*2^1250698-1 is not prime. Res64: 2B9B16229D7A2EA1 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:08:39] 713*2^1250698-1 is not prime. Res64: EFEA70A7E6D40A47 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:16:06] 723*2^1250698-1 is not prime. Res64: D204CBC6A07E1312 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:16:06] 933*2^1250698-1 is not prime. Res64: 9B80F64F6107BAF6 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:19:42] 645*2^1250699-1 is not prime. Res64: 678FD3E2EA50D029 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:19:42] 679*2^1250699-1 is not prime. Res64: CDE931695E6B0291 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:19:53] 945*2^1250698-1 is not prime. Res64: 36AC21D2E7F194F4 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:19:54] 621*2^1250699-1 is not prime. Res64: 537F843CD9F7728C Time : 0.0 sec. user=mdettweiler [2013-08-14 06:28:09] 753*2^1250699-1 is not prime. Res64: 5AC3851B30CE8388 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:28:10] 885*2^1250699-1 is not prime. Res64: FE64A49DDEB8AE4E Time : 0.0 sec. user=mdettweiler [2013-08-14 06:35:40] 653*2^1250700-1 is not prime. Res64: DE1F0A7F2A057CFE Time : 0.0 sec. user=mdettweiler [2013-08-14 06:35:41] 765*2^1250700-1 is not prime. Res64: EFEA7389A785A693 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:39:27] 779*2^1250700-1 is not prime. Res64: ADECACCA8649CC44 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:39:28] 893*2^1250700-1 is not prime. Res64: C48D636F8B1C0757 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:41:24] 909*2^1250700-1 is not prime. Res64: 4D7990019C882498 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:41:24] 959*2^1250700-1 is not prime. Res64: 57FB59A8A2E53D1D Time : 0.0 sec. user=mdettweiler [2013-08-14 06:47:49] 769*2^1250701-1 is not prime. Res64: B798E39B4D5783B9 Time : 0.0 sec. user=mdettweiler [2013-08-14 06:47:49] 819*2^1250701-1 is not prime. Res64: C1DB33CCA84BDA5E Time : 0.0 sec. user=mdettweiler [2013-08-14 06:56:14] 829*2^1250701-1 is not prime. Res64: 53463693E390899E Time : 0.0 sec. user=mdettweiler [2013-08-14 06:56:15] 957*2^1250701-1 is not prime. Res64: 4B8CCA52CC0574B6 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:00:56] 603*2^1250702-1 is not prime. Res64: F594D306F9FC507B Time : 0.0 sec. user=mdettweiler [2013-08-14 07:00:56] 615*2^1250702-1 is not prime. Res64: F4025305936F7D5A Time : 0.0 sec. user=mdettweiler [2013-08-14 07:01:20] 961*2^1250701-1 is not prime. Res64: A60801DBFBD77A0C Time : 0.0 sec. user=mdettweiler [2013-08-14 07:01:21] 987*2^1250701-1 is not prime. Res64: 3C334D24FFF45990 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:07:21] 651*2^1250702-1 is not prime. Res64: FB74B1BF42D5AE5D Time : 0.0 sec. user=mdettweiler [2013-08-14 07:07:21] 755*2^1250702-1 is not prime. Res64: B41E43CB956F24D8 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:15:43] 825*2^1250702-1 is not prime. Res64: 8EE0B0EBAFF1C060 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:15:44] 843*2^1250702-1 is not prime. Res64: 534C657B83E87529 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:20:48] 619*2^1250703-1 is not prime. Res64: EF817639DAB3875B Time : 0.0 sec. user=mdettweiler [2013-08-14 07:20:49] 675*2^1250703-1 is not prime. Res64: 08F79CF0CBAC2A17 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:22:15] 953*2^1250702-1 is not prime. Res64: 5FAA83FC8576BA6D Time : 0.0 sec. user=mdettweiler [2013-08-14 07:22:15] 981*2^1250702-1 is not prime. Res64: 05F9AB74251EE3D0 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:26:50] 885*2^1250703-1 is not prime. Res64: ACC9A9E6664F97CE Time : 0.0 sec. user=mdettweiler [2013-08-14 07:26:51] 895*2^1250703-1 is not prime. Res64: DB9BADF006D6A1C9 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:37:03] 961*2^1250703-1 is not prime. Res64: CE687FFE5003A667 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:37:03] 985*2^1250703-1 is not prime. Res64: 5F13C8B0CD502D37 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:40:20] 615*2^1250704-1 is not prime. Res64: 908C65906E518837 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:40:21] 723*2^1250704-1 is not prime. Res64: A59D28CC60D7FD14 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:41:42] 729*2^1250704-1 is not prime. Res64: 20848C46E7F2FFA4 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:41:43] 863*2^1250704-1 is not prime. Res64: 36EEA155BA89A5D5 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:48:08] 939*2^1250704-1 is not prime. Res64: F0188567AECDA048 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:48:08] 975*2^1250704-1 is not prime. Res64: FD9B0AD5EA51C9C8 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:56:34] 669*2^1250705-1 is not prime. Res64: EA001BACB6770D31 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:56:34] 729*2^1250705-1 is not prime. Res64: B1FF985961F72C3A Time : 0.0 sec. user=mdettweiler [2013-08-14 07:59:52] 889*2^1250705-1 is not prime. Res64: BA1B9C237F8341F0 Time : 0.0 sec. user=mdettweiler [2013-08-14 07:59:53] 897*2^1250705-1 is not prime. Res64: 023F6551B75480B2 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:02:05] 949*2^1250705-1 is not prime. Res64: EB32193CECBCB599 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:02:06] 723*2^1250706-1 is not prime. Res64: 898C63E7CADC9292 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:07:34] 725*2^1250706-1 is not prime. Res64: 81C4063CF30B6FA0 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:07:35] 735*2^1250706-1 is not prime. Res64: E5858737640FD642 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:17:00] 983*2^1250706-1 is not prime. Res64: 75C8599E7F36D620 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:17:01] 631*2^1250707-1 is not prime. Res64: 9DE8CE978977A5A4 Time : 0.0 sec. user=juhehe [2013-08-14 08:18:18] 645*2^1250705-1 is not prime. Res64: 13C506F1EB8FC9D3 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:19:16] 645*2^1250707-1 is not prime. Res64: A6BDF24AB213E1F7 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:19:16] 741*2^1250707-1 is not prime. Res64: 6D10A06E43196D85 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:21:30] 861*2^1250707-1 is not prime. Res64: 33C64D5C3CBA4756 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:21:31] 615*2^1250708-1 is not prime. Res64: 5704FD8EF812887D Time : 0.0 sec. user=mdettweiler [2013-08-14 08:28:00] 869*2^1250708-1 is not prime. Res64: 9B650A80D95B509A Time : 0.0 sec. user=mdettweiler [2013-08-14 08:28:01] 957*2^1250708-1 is not prime. Res64: B4D6EAF8FDD87D76 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:37:22] 959*2^1250708-1 is not prime. Res64: 6882063DB65986A5 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:37:23] 681*2^1250709-1 is not prime. Res64: 06A6EE7887C2E0E4 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:38:43] 877*2^1250709-1 is not prime. Res64: 83E1A1F2D80678C6 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:38:43] 885*2^1250709-1 is not prime. Res64: 58952DF68531C186 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:41:54] 895*2^1250709-1 is not prime. Res64: BAB07960F0E16562 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:41:54] 919*2^1250709-1 is not prime. Res64: E4DD619DCB5F2C9A Time : 0.0 sec. user=mdettweiler [2013-08-14 08:49:17] 927*2^1250709-1 is not prime. Res64: 48D46D057E8F053C Time : 0.0 sec. user=mdettweiler [2013-08-14 08:49:18] 945*2^1250709-1 is not prime. Res64: 4B0A238771D76F83 Time : 0.0 sec. user=juhehe [2013-08-14 08:56:27] 781*2^1250709-1 is not prime. Res64: 590359599DA50808 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:56:44] 647*2^1250710-1 is not prime. Res64: A4D611529F6B110B Time : 0.0 sec. user=mdettweiler [2013-08-14 08:56:45] 687*2^1250710-1 is not prime. Res64: 27994947E2643521 Time : 0.0 sec. user=mdettweiler [2013-08-14 08:58:04] 777*2^1250710-1 is not prime. Res64: 8E7FC12005CB3E9A Time : 0.0 sec. user=mdettweiler [2013-08-14 08:58:04] 887*2^1250710-1 is not prime. Res64: 15DDA94C1597A2C7 Time : 0.0 sec. user=mdettweiler [2013-08-14 09:03:12] 923*2^1250710-1 is not prime. Res64: 085A08F4362F55C8 Time : 0.0 sec. user=mdettweiler [2013-08-14 09:03:14] 941*2^1250710-1 is not prime. Res64: 6EF99D09B6FBD9E0 Time : 0.0 sec. user=mdettweiler [2013-08-14 09:09:30] 951*2^1250710-1 is not prime. Res64: 682E07A18E4FB0C9 Time : 0.0 sec. user=mdettweiler [2013-08-14 09:09:31] 603*2^1250711-1 is not prime. Res64: 7C0F87B220D6049D Time : 0.0 sec. user=mdettweiler [2013-08-14 09:17:00] 981*2^1250711-1 is not prime. Res64: 770600DDE9922396 Time : 0.0 sec. user=mdettweiler [2013-08-14 09:17:01] 653*2^1250712-1 is not prime. Res64: 7CD70E47E882278C Time : 0.0 sec. user=mdettweiler [2013-08-14 09:17:27] 693*2^1250712-1 is not prime. Res64: A3352AFF83FF8081 Time : 0.0 sec. user=mdettweiler [2013-08-14 09:17:27] 803*2^1250712-1 is not prime. Res64: 8E1CC0C26B06E7EC Time : 0.0 sec. user=mdettweiler [2013-08-14 09:22:31] 809*2^1250712-1 is not prime. Res64: D903D9C0964E1A3D Time : 0.0 sec. user=mdettweiler [2013-08-14 09:22:32] 843*2^1250712-1 is not prime. Res64: 134123068006DADE Time : 0.0 sec. user=mdettweiler [2013-08-14 09:28:50] 887*2^1250712-1 is not prime. Res64: 2E88B190B6A4E4EE Time : 0.0 sec. user=mdettweiler [2013-08-14 09:28:51] 899*2^1250712-1 is not prime. Res64: FE67E1BBA69B024D Time : 0.0 sec. user=juhehe [2013-08-14 09:33:46] 649*2^1250711-1 is not prime. Res64: EF1A2704B2DC727F Time : 0.0 sec. user=mdettweiler [2013-08-14 09:36:19] 639*2^1250713-1 is not prime. Res64: 9CC718EF96A77FAD Time : 0.0 sec. user=mdettweiler [2013-08-14 09:36:19] 699*2^1250713-1 is not prime. Res64: 293AA78C974000C2 Time : 0.0 sec. user=mdettweiler [2013-08-14 09:36:44] 819*2^1250713-1 is not prime. Res64: 2DD2118B649AF7D0 Time : 0.0 sec. user=mdettweiler [2013-08-14 09:36:44] 895*2^1250713-1 is not prime. Res64: 3447905351B178CB Time : 0.0 sec. user=mdettweiler [2013-08-14 09:42:49] 937*2^1250713-1 is not prime. Res64: 650F591CB018702F Time : 0.0 sec. user=mdettweiler [2013-08-14 09:42:49] 617*2^1250714-1 is not prime. Res64: 7AF0F139D7AD20C4 Time : 0.0 sec. user=mdettweiler [2013-08-14 09:48:05] 623*2^1250714-1 is not prime. Res64: EC5B9EADEA47602F Time : 0.0 sec. user=mdettweiler [2013-08-14 09:48:05] 645*2^1250714-1 is not prime. Res64: 1170295452AF1D3F Time : 0.0 sec. user=mdettweiler [2013-08-14 09:55:40] 783*2^1250714-1 is not prime. Res64: 5BF7A205B09D2B23 Time : 0.0 sec. user=mdettweiler [2013-08-14 09:55:41] 815*2^1250714-1 is not prime. Res64: 0EC6BB4C727321C6 Time : 0.0 sec. user=mdettweiler [2013-08-14 09:56:05] 827*2^1250714-1 is not prime. Res64: 47F2CCA6DDA14A09 Time : 0.0 sec. user=mdettweiler [2013-08-14 09:56:05] 885*2^1250714-1 is not prime. Res64: 6052C1408503B6DD Time : 0.0 sec. user=mdettweiler [2013-08-14 10:03:08] 971*2^1250714-1 is not prime. Res64: 136713EE70096713 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:03:10] 741*2^1250715-1 is not prime. Res64: F959F3BDFA5CD5C8 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:07:26] 789*2^1250715-1 is not prime. Res64: C4C611AE4A4BA44B Time : 0.0 sec. user=mdettweiler [2013-08-14 10:07:27] 793*2^1250715-1 is not prime. Res64: 5414E819F5D9B9E2 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:15:23] 647*2^1250716-1 is not prime. Res64: 18D9A827C6D5B8E8 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:15:24] 677*2^1250716-1 is not prime. Res64: 5CFEAB41F7FD9753 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:15:54] 919*2^1250715-1 is not prime. Res64: B5447C8D73A149AA Time : 0.0 sec. user=mdettweiler [2013-08-14 10:15:54] 623*2^1250716-1 is not prime. Res64: 48591809A7B084A1 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:22:21] 773*2^1250716-1 is not prime. Res64: A06DCC7A9BDD9932 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:22:22] 897*2^1250716-1 is not prime. Res64: 915E165AB2C5E76C Time : 0.0 sec. user=mdettweiler [2013-08-14 10:26:41] 669*2^1250717-1 is not prime. Res64: 02CAC4616059659C Time : 0.0 sec. user=mdettweiler [2013-08-14 10:26:42] 685*2^1250717-1 is not prime. Res64: 6E5639658B93F7F0 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:34:40] 729*2^1250717-1 is not prime. Res64: D0196F04CBA26139 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:34:40] 867*2^1250717-1 is not prime. Res64: EEFCF2BF94CEBA6E Time : 0.0 sec. user=mdettweiler [2013-08-14 10:37:02] 931*2^1250717-1 is not prime. Res64: 20763540753E834E Time : 0.0 sec. user=mdettweiler [2013-08-14 10:37:02] 939*2^1250717-1 is not prime. Res64: D1B1E1998D6B3647 Time : 0.0 sec. user=juhehe [2013-08-14 10:39:35] 909*2^1250715-1 is not prime. Res64: 789615C39A135027 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:42:36] 985*2^1250717-1 is not prime. Res64: AA1F50320BAD96CB Time : 0.0 sec. user=mdettweiler [2013-08-14 10:42:36] 627*2^1250718-1 is not prime. Res64: 3E9BDE29849330B1 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:46:11] 713*2^1250718-1 is not prime. Res64: 96A8BC4919A12AE3 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:46:12] 731*2^1250718-1 is not prime. Res64: C509AE5CE0271553 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:53:59] 755*2^1250718-1 is not prime. Res64: 23CCEFF9AE0D5D62 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:54:00] 795*2^1250718-1 is not prime. Res64: C4F90849E2C3A672 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:57:14] 863*2^1250718-1 is not prime. Res64: E90A27D8DAF21319 Time : 0.0 sec. user=mdettweiler [2013-08-14 10:57:15] 945*2^1250718-1 is not prime. Res64: FE0250BCED0486BA Time : 0.0 sec. user=mdettweiler [2013-08-14 11:02:48] 993*2^1250718-1 is not prime. Res64: 573F4AE32638387A Time : 0.0 sec. user=mdettweiler [2013-08-14 11:02:49] 601*2^1250719-1 is not prime. Res64: C781413964A38AD4 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:05:28] 603*2^1250719-1 is not prime. Res64: 5833A2DD2A0FA278 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:05:30] 619*2^1250719-1 is not prime. Res64: 9F9AB1FA53520B00 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:13:17] 625*2^1250719-1 is not prime. Res64: F57699E926082312 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:13:18] 663*2^1250719-1 is not prime. Res64: ED9AB18A13187838 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:16:32] 679*2^1250719-1 is not prime. Res64: 5F26DB5CBF0C65A5 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:16:32] 709*2^1250719-1 is not prime. Res64: 05AFA2D6F52F1ECD Time : 0.0 sec. user=mdettweiler [2013-08-14 11:22:08] 763*2^1250719-1 is not prime. Res64: D2977B579B334412 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:22:09] 789*2^1250719-1 is not prime. Res64: E1F78BD772A16166 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:25:48] 919*2^1250719-1 is not prime. Res64: 90A27A324A53BC02 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:25:49] 773*2^1250720-1 is not prime. Res64: E5315FA2BF918AEA Time : 0.0 sec. user=mdettweiler [2013-08-14 11:32:40] 797*2^1250720-1 is not prime. Res64: 8AAEFA5B8E0D2DFF Time : 0.0 sec. user=mdettweiler [2013-08-14 11:32:40] 827*2^1250720-1 is not prime. Res64: 6AF936CBE849E071 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:36:50] 915*2^1250720-1 is not prime. Res64: 7280B54AB9EED66D Time : 0.0 sec. user=mdettweiler [2013-08-14 11:36:51] 637*2^1250721-1 is not prime. Res64: 78863C7C23C332D2 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:41:31] 657*2^1250721-1 is not prime. Res64: B1E6899A7C4F4222 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:41:31] 691*2^1250721-1 is not prime. Res64: 9AE1B21AA2B0632A Time : 0.0 sec. user=mdettweiler [2013-08-14 11:45:14] 745*2^1250721-1 is not prime. Res64: DA725513EBE47BF7 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:45:15] 747*2^1250721-1 is not prime. Res64: EAAC59A2507F4643 Time : 0.0 sec. user=mdettweiler [2013-08-14 11:52:08] 789*2^1250721-1 is not prime. Res64: 1B458C4F2800154A Time : 0.0 sec. user=mdettweiler [2013-08-14 11:52:08] 829*2^1250721-1 is not prime. Res64: 4A19DA93E9A02F2C Time : 0.0 sec. user=mdettweiler [2013-08-14 11:56:21] 847*2^1250721-1 is not prime. Res64: 465B7C2B2736CDDF Time : 0.0 sec. user=mdettweiler [2013-08-14 11:56:21] 861*2^1250721-1 is not prime. Res64: 06BA549AB66926E3 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:01:53] 895*2^1250721-1 is not prime. Res64: F4EBD11B72EB255F Time : 0.0 sec. user=mdettweiler [2013-08-14 12:01:54] 937*2^1250721-1 is not prime. Res64: 40663B36381F171C Time : 0.0 sec. user=mdettweiler [2013-08-14 12:06:36] 955*2^1250721-1 is not prime. Res64: 7237B34AF74A9CC4 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:06:37] 997*2^1250721-1 is not prime. Res64: 0662BCAB85554C04 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:11:41] 611*2^1250722-1 is not prime. Res64: B79192FC2D48DF81 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:11:42] 695*2^1250722-1 is not prime. Res64: 477A14EF0C8A21B0 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:15:53] 717*2^1250722-1 is not prime. Res64: F6CF5195F2796F38 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:15:53] 735*2^1250722-1 is not prime. Res64: 9728D7C33407C5F7 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:21:34] 741*2^1250722-1 is not prime. Res64: F1596F3FCDEC2048 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:21:34] 855*2^1250722-1 is not prime. Res64: AA2E35F7E2DA37D3 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:28:06] 915*2^1250722-1 is not prime. Res64: 7B76383606AD3C82 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:28:06] 945*2^1250722-1 is not prime. Res64: C552F006CE012B81 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:33:34] 947*2^1250722-1 is not prime. Res64: 301B9C4F3D610E78 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:33:34] 987*2^1250722-1 is not prime. Res64: AFF332E5053BA2E6 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:37:04] 699*2^1250723-1 is not prime. Res64: 9D3B30F836722A85 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:37:04] 981*2^1250723-1 is not prime. Res64: AAE36A45AB4CEBB4 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:42:25] 993*2^1250723-1 is not prime. Res64: E091B14A0CADC1A1 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:42:25] 689*2^1250724-1 is not prime. Res64: DA3B7D4B8748CC60 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:47:50] 705*2^1250724-1 is not prime. Res64: A4208DDDB45AC95F Time : 0.0 sec. user=mdettweiler [2013-08-14 12:47:50] 707*2^1250724-1 is not prime. Res64: 42D3D358A8320EF3 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:53:34] 789*2^1250724-1 is not prime. Res64: 6EF1C5D63AB887B8 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:53:34] 803*2^1250724-1 is not prime. Res64: 877471BB2E7E6808 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:56:51] 809*2^1250724-1 is not prime. Res64: 855CF53E8AE8C928 Time : 0.0 sec. user=mdettweiler [2013-08-14 12:56:51] 873*2^1250724-1 is not prime. Res64: 2FA0050C6DFB7049 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:03:33] 899*2^1250724-1 is not prime. Res64: 856BA3ED9D4BB3FC Time : 0.0 sec. user=mdettweiler [2013-08-14 13:03:35] 929*2^1250724-1 is not prime. Res64: 1272CC211653E498 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:10:18] 945*2^1250724-1 is not prime. Res64: FE1B8EEB22ACE92B Time : 0.0 sec. user=mdettweiler [2013-08-14 13:10:19] 965*2^1250724-1 is not prime. Res64: F6DA041C40CC5CE7 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:14:05] 607*2^1250725-1 is not prime. Res64: 8E13D5A533118379 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:14:05] 675*2^1250725-1 is not prime. Res64: A31F7201AC77B326 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:17:25] 699*2^1250725-1 is not prime. Res64: B3C3065D9DCAFCEC Time : 0.0 sec. user=mdettweiler [2013-08-14 13:17:25] 771*2^1250725-1 is not prime. Res64: 6A732BCAECCE870C Time : 0.0 sec. user=mdettweiler [2013-08-14 13:23:41] 775*2^1250725-1 is not prime. Res64: EDC3E61A10FEAA7F Time : 0.0 sec. user=mdettweiler [2013-08-14 13:23:41] 867*2^1250725-1 is not prime. Res64: 5174BA5533444C54 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:29:58] 871*2^1250725-1 is not prime. Res64: 75043EFD0A5A3070 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:29:58] 683*2^1250726-1 is not prime. Res64: 74D181B9B0AD3444 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:33:42] 711*2^1250726-1 is not prime. Res64: 36F3BE50C1DE4042 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:33:42] 741*2^1250726-1 is not prime. Res64: AFA134C903F71DFB Time : 0.0 sec. user=mdettweiler [2013-08-14 13:36:57] 801*2^1250726-1 is not prime. Res64: 42E86A53C4F228CA Time : 0.0 sec. user=mdettweiler [2013-08-14 13:36:57] 843*2^1250726-1 is not prime. Res64: B64BFDE33070F445 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:43:08] 851*2^1250726-1 is not prime. Res64: C5587830A8F0B1E2 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:43:08] 903*2^1250726-1 is not prime. Res64: 4A70D8EB170EAC78 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:50:23] 911*2^1250726-1 is not prime. Res64: 4AFBD8F331F649AB Time : 0.0 sec. user=mdettweiler [2013-08-14 13:50:24] 703*2^1250727-1 is not prime. Res64: CE5E85B173B78241 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:53:12] 709*2^1250727-1 is not prime. Res64: C0324D9D8F28E80D Time : 0.0 sec. user=mdettweiler [2013-08-14 13:53:13] 885*2^1250727-1 is not prime. Res64: F2C27F222990C3D8 Time : 0.0 sec. user=mdettweiler [2013-08-14 13:57:24] 985*2^1250727-1 is not prime. Res64: DE090C1BF832497B Time : 0.0 sec. user=mdettweiler [2013-08-14 13:57:24] 615*2^1250728-1 is not prime. Res64: D7D5AB7F187D44E3 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:02:37] 657*2^1250728-1 is not prime. Res64: A9FB6ABDD3A8F812 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:02:39] 819*2^1250728-1 is not prime. Res64: 52069DDD114C72F3 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:11:52] 959*2^1250728-1 is not prime. Res64: 15D71B1D87BD5EEE Time : 0.0 sec. user=mdettweiler [2013-08-14 14:11:52] 989*2^1250728-1 is not prime. Res64: 70A2D7E1BBA7EAB9 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:13:41] 999*2^1250728-1 is not prime. Res64: 16EC4C045230F107 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:13:41] 691*2^1250729-1 is not prime. Res64: 9DB30D71C4F7560D Time : 0.0 sec. user=mdettweiler [2013-08-14 14:16:57] 711*2^1250729-1 is not prime. Res64: 9AB0D50A9EC4E402 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:16:58] 745*2^1250729-1 is not prime. Res64: DC5808F9EA80BBB9 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:22:13] 811*2^1250729-1 is not prime. Res64: 800C9252CCECD662 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:22:14] 841*2^1250729-1 is not prime. Res64: 4C5B02B55959E293 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:31:24] 777*2^1250730-1 is not prime. Res64: B7C92871F7A570A9 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:31:25] 851*2^1250730-1 is not prime. Res64: EEC7827BD05205E5 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:35:07] 933*2^1250730-1 is not prime. Res64: 062FEF7238599A1F Time : 0.0 sec. user=mdettweiler [2013-08-14 14:35:07] 957*2^1250730-1 is not prime. Res64: F1DEB0A704C3157E Time : 0.0 sec. user=mdettweiler [2013-08-14 14:36:34] 745*2^1250731-1 is not prime. Res64: 11D093A337266466 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:36:35] 771*2^1250731-1 is not prime. Res64: BD30740B8A980739 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:41:43] 849*2^1250731-1 is not prime. Res64: A6C9E9C4C892CCBF Time : 0.0 sec. user=mdettweiler [2013-08-14 14:41:43] 861*2^1250731-1 is not prime. Res64: 1134F109C02E6925 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:50:57] 883*2^1250731-1 is not prime. Res64: 33E586FEE39A480D Time : 0.0 sec. user=mdettweiler [2013-08-14 14:50:57] 647*2^1250732-1 is not prime. Res64: 13F7940218040D9B Time : 0.0 sec. user=mdettweiler [2013-08-14 14:54:40] 693*2^1250732-1 is not prime. Res64: 5D1453E6866D2300 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:54:41] 767*2^1250732-1 is not prime. Res64: 0DCA9A6761C662DD Time : 0.0 sec. user=mdettweiler [2013-08-14 14:56:05] 825*2^1250732-1 is not prime. Res64: 67B5D1CDD545B2D9 Time : 0.0 sec. user=mdettweiler [2013-08-14 14:56:05] 875*2^1250732-1 is not prime. Res64: D469A1925A3031BD Time : 0.0 sec. user=mdettweiler [2013-08-14 15:03:01] 909*2^1250732-1 is not prime. Res64: AF35FAADCC08094F Time : 0.0 sec. user=mdettweiler [2013-08-14 15:03:02] 977*2^1250732-1 is not prime. Res64: AA0F1EBAD3ADF56B Time : 0.0 sec. user=mdettweiler [2013-08-14 15:10:13] 627*2^1250733-1 is not prime. Res64: 4AAB0E40A0C57FC4 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:10:15] 679*2^1250733-1 is not prime. Res64: AD8D22D290BB43F5 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:13:54] 685*2^1250733-1 is not prime. Res64: EB24D63EBB4EF7AE Time : 0.0 sec. user=mdettweiler [2013-08-14 15:13:54] 751*2^1250733-1 is not prime. Res64: D7BFC88D956A3122 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:15:24] 811*2^1250733-1 is not prime. Res64: 8347A891049E03F9 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:15:25] 847*2^1250733-1 is not prime. Res64: 963708A1BFF723B2 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:22:27] 877*2^1250733-1 is not prime. Res64: B85BA151E16221A1 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:22:27] 623*2^1250734-1 is not prime. Res64: 7FA5C5E9B8A5874A Time : 0.0 sec. user=mdettweiler [2013-08-14 15:29:36] 651*2^1250734-1 is not prime. Res64: 1EFCEA18F5912FE7 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:29:37] 657*2^1250734-1 is not prime. Res64: E612107DAEA00FA7 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:33:12] 707*2^1250734-1 is not prime. Res64: CD50813B4ED8F1F3 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:33:12] 723*2^1250734-1 is not prime. Res64: 6B96F46D5A5BE02E Time : 0.0 sec. user=mdettweiler [2013-08-14 15:34:48] 783*2^1250734-1 is not prime. Res64: 4DCF4CB7619C8583 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:34:48] 791*2^1250734-1 is not prime. Res64: FEF0800D5E81AC6F Time : 0.0 sec. user=mdettweiler [2013-08-14 15:42:07] 825*2^1250734-1 is not prime. Res64: FC72E5C56FA14DBD Time : 0.0 sec. user=mdettweiler [2013-08-14 15:42:07] 679*2^1250735-1 is not prime. Res64: 754165418D4BF765 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:49:35] 759*2^1250735-1 is not prime. Res64: 250F0F516D46C34D Time : 0.0 sec. user=mdettweiler [2013-08-14 15:49:35] 771*2^1250735-1 is not prime. Res64: 58A6A5D916F6A83D Time : 0.0 sec. user=mdettweiler [2013-08-14 15:53:01] 775*2^1250735-1 is not prime. Res64: F368ECE92C0B3746 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:53:02] 859*2^1250735-1 is not prime. Res64: 0AA29B19C7E4BDB8 Time : 0.0 sec. user=mdettweiler [2013-08-14 15:55:46] 895*2^1250735-1 is not prime. Res64: 2FA10E48EFAC733D Time : 0.0 sec. user=mdettweiler [2013-08-14 15:55:46] 981*2^1250735-1 is not prime. Res64: 3530E553965EF61D Time : 0.0 sec. user=mdettweiler [2013-08-14 16:03:03] 999*2^1250735-1 is not prime. Res64: DF0DEAFD9B659C01 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:03:04] 623*2^1250736-1 is not prime. Res64: E1AF58DEC18502A3 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:09:25] 635*2^1250736-1 is not prime. Res64: 309CAD26E8A3D026 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:09:26] 683*2^1250736-1 is not prime. Res64: B75DFB3C5EA93F96 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:12:42] 759*2^1250736-1 is not prime. Res64: 4C17CBD6DEE33175 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:12:42] 637*2^1250737-1 is not prime. Res64: CA72DEB6D4A14EB1 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:15:30] 667*2^1250737-1 is not prime. Res64: 0F8DD605C76E864E Time : 0.0 sec. user=mdettweiler [2013-08-14 16:15:30] 685*2^1250737-1 is not prime. Res64: 62D10925EA8C1416 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:22:55] 741*2^1250737-1 is not prime. Res64: 8C8942EF8153DE2E Time : 0.0 sec. user=mdettweiler [2013-08-14 16:22:55] 777*2^1250737-1 is not prime. Res64: B4A9122A15EEDBB3 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:28:57] 835*2^1250737-1 is not prime. Res64: 0EB1B26FCE5928B7 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:28:57] 871*2^1250737-1 is not prime. Res64: 1097C6ABAD8FFF22 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:33:03] 885*2^1250737-1 is not prime. Res64: 96CC35E8B6F87ABB Time : 0.0 sec. user=mdettweiler [2013-08-14 16:33:03] 931*2^1250737-1 is not prime. Res64: D24D021734DC01BA Time : 0.0 sec. user=mdettweiler [2013-08-14 16:36:51] 937*2^1250737-1 is not prime. Res64: 1C7BDC03EE9A648C Time : 0.0 sec. user=mdettweiler [2013-08-14 16:36:51] 997*2^1250737-1 is not prime. Res64: 7A3F33FD66C02A09 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:42:26] 603*2^1250738-1 is not prime. Res64: F063AC25F5A1775D Time : 0.0 sec. user=mdettweiler [2013-08-14 16:42:27] 635*2^1250738-1 is not prime. Res64: 5E644622679FD077 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:48:31] 683*2^1250738-1 is not prime. Res64: 33829377F631AE36 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:48:32] 857*2^1250738-1 is not prime. Res64: 92E3517F8C4B35BD Time : 0.0 sec. user=mdettweiler [2013-08-14 16:54:27] 953*2^1250738-1 is not prime. Res64: 67EAEE0E23E5F3CD Time : 0.0 sec. user=mdettweiler [2013-08-14 16:54:27] 977*2^1250738-1 is not prime. Res64: C4F7540A231A2049 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:57:21] 993*2^1250738-1 is not prime. Res64: ACDF74BC9458D6A7 Time : 0.0 sec. user=mdettweiler [2013-08-14 16:57:21] 751*2^1250739-1 is not prime. Res64: 3AD4F17CD4C21240 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:02:07] 853*2^1250739-1 is not prime. Res64: B72861503C7705E2 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:02:08] 879*2^1250739-1 is not prime. Res64: 11536255E632ED78 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:09:01] 903*2^1250739-1 is not prime. Res64: 6C541ED62815508B Time : 0.0 sec. user=mdettweiler [2013-08-14 17:09:02] 913*2^1250739-1 is not prime. Res64: 471131E51D0D74DA Time : 0.0 sec. user=mdettweiler [2013-08-14 17:15:00] 931*2^1250739-1 is not prime. Res64: 399ABAE4EAE53E81 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:15:00] 615*2^1250740-1 is not prime. Res64: 597A68278FBA8E34 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:16:56] 785*2^1250740-1 is not prime. Res64: 05392717B3B3AF5D Time : 0.0 sec. user=mdettweiler [2013-08-14 17:16:57] 857*2^1250740-1 is not prime. Res64: 7570F30CF3F6D063 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:21:41] 619*2^1250741-1 is not prime. Res64: A43C378F2264C613 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:21:41] 775*2^1250741-1 is not prime. Res64: F73A02B60CFA9EF3 Time : 0.0 sec. user=juhehe [2013-08-14 17:26:57] 885*2^1250738-1 is not prime. Res64: 2F4F63065CD33BDF Time : 0.0 sec. user=mdettweiler [2013-08-14 17:28:38] 865*2^1250741-1 is not prime. Res64: 00FC90EFCDF1C69E Time : 0.0 sec. user=mdettweiler [2013-08-14 17:28:38] 879*2^1250741-1 is not prime. Res64: 066566E85013AC75 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:34:27] 711*2^1250742-1 is not prime. Res64: B93B8DEDC8949347 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:34:27] 755*2^1250742-1 is not prime. Res64: AC70D5766EF8A1C2 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:36:30] 891*2^1250742-1 is not prime. Res64: 2591FBE613746ECE Time : 0.0 sec. user=mdettweiler [2013-08-14 17:36:30] 639*2^1250743-1 is not prime. Res64: 866C6B249FBA23CF Time : 0.0 sec. user=mdettweiler [2013-08-14 17:41:15] 679*2^1250743-1 is not prime. Res64: F563904CE379A7CC Time : 0.0 sec. user=mdettweiler [2013-08-14 17:41:16] 723*2^1250743-1 is not prime. Res64: 99F78FE8A54B7781 Time : 0.0 sec. user=juhehe [2013-08-14 17:45:23] 905*2^1250740-1 is not prime. Res64: 1E815700E553C3EE Time : 0.0 sec. user=mdettweiler [2013-08-14 17:49:09] 765*2^1250743-1 is not prime. Res64: 2809FA43930BA3CE Time : 0.0 sec. user=mdettweiler [2013-08-14 17:49:09] 913*2^1250743-1 is not prime. Res64: F5671E71C6513953 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:54:00] 635*2^1250744-1 is not prime. Res64: 3F196FF62C2903C8 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:54:00] 687*2^1250744-1 is not prime. Res64: 261411CACD4A4235 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:57:03] 767*2^1250744-1 is not prime. Res64: D663B23F8D813C73 Time : 0.0 sec. user=mdettweiler [2013-08-14 17:57:03] 957*2^1250744-1 is not prime. Res64: 9BD7606972960A7F Time : 0.0 sec. user=mdettweiler [2013-08-14 18:00:47] 625*2^1250745-1 is not prime. Res64: 09739AA8F02F6833 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:00:48] 649*2^1250745-1 is not prime. Res64: EC7BCB7124EF0F9A Time : 0.0 sec. user=juhehe [2013-08-14 18:04:12] 745*2^1250743-1 is not prime. Res64: 929A4643B2FB8DAA Time : 0.0 sec. user=mdettweiler [2013-08-14 18:08:32] 651*2^1250745-1 is not prime. Res64: E5BAAD53E9CC2AD6 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:08:32] 657*2^1250745-1 is not prime. Res64: 4721F309EC3746F9 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:13:21] 667*2^1250745-1 is not prime. Res64: A242F30BC09DD514 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:13:21] 717*2^1250745-1 is not prime. Res64: 12ED5484BE1F8BC8 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:16:27] 727*2^1250745-1 is not prime. Res64: 503AB4E4E706895D Time : 0.0 sec. user=mdettweiler [2013-08-14 18:16:28] 765*2^1250745-1 is not prime. Res64: DE67AC37C17A08CA Time : 0.0 sec. user=mdettweiler [2013-08-14 18:21:17] 885*2^1250745-1 is not prime. Res64: 9034DBCE40DD5F15 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:21:17] 921*2^1250745-1 is not prime. Res64: C23BD1156515F76E Time : 0.0 sec. user=mdettweiler [2013-08-14 18:28:07] 623*2^1250746-1 is not prime. Res64: 34B0150519896D05 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:28:07] 701*2^1250746-1 is not prime. Res64: 6F32E975E12DB032 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:32:53] 777*2^1250746-1 is not prime. Res64: 4C4196B53CDABB13 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:32:53] 873*2^1250746-1 is not prime. Res64: 51CA370367A6343F Time : 0.0 sec. user=mdettweiler [2013-08-14 18:36:56] 945*2^1250746-1 is not prime. Res64: BE0E5C3BEFA1963D Time : 0.0 sec. user=mdettweiler [2013-08-14 18:36:56] 651*2^1250747-1 is not prime. Res64: 45462474049A4A44 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:40:43] 675*2^1250747-1 is not prime. Res64: E74841D2E9A60C17 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:40:43] 715*2^1250747-1 is not prime. Res64: A4CFCC80862C0254 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:48:32] 859*2^1250747-1 is not prime. Res64: 1178E65691367DED Time : 0.0 sec. user=mdettweiler [2013-08-14 18:48:33] 939*2^1250747-1 is not prime. Res64: 6F063732C3E7C276 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:52:22] 669*2^1250748-1 is not prime. Res64: 94846CF761F2C61C Time : 0.0 sec. user=mdettweiler [2013-08-14 18:52:23] 683*2^1250748-1 is not prime. Res64: F9EAB48C900BA156 Time : 0.0 sec. user=juhehe [2013-08-14 18:52:38] 999*2^1250745-1 is not prime. Res64: A6EA691FD93C4A85 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:57:24] 825*2^1250748-1 is not prime. Res64: FB453FFFACAFA765 Time : 0.0 sec. user=mdettweiler [2013-08-14 18:57:24] 923*2^1250748-1 is not prime. Res64: 27C116D6D0099E50 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:00:14] 681*2^1250749-1 is not prime. Res64: 789750142FE26110 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:00:15] 811*2^1250749-1 is not prime. Res64: 7DAE033713D2085B Time : 0.0 sec. user=mdettweiler [2013-08-14 19:08:06] 825*2^1250749-1 is not prime. Res64: 4FA2BCA22335957B Time : 0.0 sec. user=mdettweiler [2013-08-14 19:08:07] 835*2^1250749-1 is not prime. Res64: 21ACDB85BDDD0DC5 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:13:50] 919*2^1250749-1 is not prime. Res64: 083807C8EC2994E7 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:13:50] 967*2^1250749-1 is not prime. Res64: B19236909FDF0D83 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:16:58] 641*2^1250750-1 is not prime. Res64: 0D9F7758AB743BDD Time : 0.0 sec. user=mdettweiler [2013-08-14 19:16:59] 663*2^1250750-1 is not prime. Res64: 524DCA922EC55F3C Time : 0.0 sec. user=mdettweiler [2013-08-14 19:19:43] 875*2^1250750-1 is not prime. Res64: 606234478C3AC0C3 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:19:43] 735*2^1250751-1 is not prime. Res64: 7F5754A75B30F05C Time : 0.0 sec. user=mdettweiler [2013-08-14 19:28:49] 895*2^1250751-1 is not prime. Res64: C6065DC9B74EDEDE Time : 0.0 sec. user=mdettweiler [2013-08-14 19:28:50] 955*2^1250751-1 is not prime. Res64: 9AAC953FF85CCD15 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:34:29] 975*2^1250751-1 is not prime. Res64: 9307FDB0F7722437 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:34:29] 605*2^1250752-1 is not prime. Res64: 1696448AFC085C17 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:36:33] 609*2^1250752-1 is not prime. Res64: 7F8DA2E22E38E50D Time : 0.0 sec. user=mdettweiler [2013-08-14 19:36:33] 623*2^1250752-1 is not prime. Res64: A4F5B77881AF5B1F Time : 0.0 sec. user=mdettweiler [2013-08-14 19:39:20] 635*2^1250752-1 is not prime. Res64: E18DD16272EE4788 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:39:20] 777*2^1250752-1 is not prime. Res64: 7BA29A5FD1876E1A Time : 0.0 sec. user=mdettweiler [2013-08-14 19:49:17] 827*2^1250752-1 is not prime. Res64: CBCF1E207E41B8B2 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:49:17] 915*2^1250752-1 is not prime. Res64: 9744527329A9C716 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:54:55] 999*2^1250752-1 is not prime. Res64: C870518D4176EB36 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:54:56] 657*2^1250753-1 is not prime. Res64: AC430EC448AE2865 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:56:08] 787*2^1250753-1 is not prime. Res64: 857EA9E2E335FEC3 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:56:08] 811*2^1250753-1 is not prime. Res64: 20C74F4AC166EE48 Time : 0.0 sec. user=mdettweiler [2013-08-14 19:59:00] 837*2^1250753-1 is not prime. Res64: 912C74283D146CDB Time : 0.0 sec. user=mdettweiler [2013-08-14 19:59:01] 611*2^1250754-1 is not prime. Res64: 643548430FFFD8CA Time : 0.0 sec. user=mdettweiler [2013-08-14 20:08:59] 767*2^1250754-1 is not prime. Res64: E028BD1EF3D35CC5 Time : 0.0 sec. user=mdettweiler [2013-08-14 20:09:00] 791*2^1250754-1 is not prime. Res64: F2FF7DD3FD39EDBA Time : 0.0 sec. user=mdettweiler [2013-08-14 20:15:12] 833*2^1250754-1 is not prime. Res64: 0E1D8FE60D706888 Time : 0.0 sec. user=mdettweiler [2013-08-14 20:15:12] 851*2^1250754-1 is not prime. Res64: 64768E968DF34BAD Time : 0.0 sec. user=mdettweiler [2013-08-14 20:17:40] 917*2^1250754-1 is not prime. Res64: 4DC43852921635DD Time : 0.0 sec. user=mdettweiler [2013-08-14 20:17:40] 927*2^1250754-1 is not prime. Res64: A1A63EE69055E870 Time : 0.0 sec. user=mdettweiler [2013-08-14 20:18:40] 767*2^1250756-1 is not prime. Res64: CEB9957D7906581E Time : 0.0 sec. user=mdettweiler [2013-08-14 20:18:40] 785*2^1250756-1 is not prime. Res64: 022FF0698A1F9EAA Time : 0.0 sec. user=mdettweiler [2013-08-14 20:29:41] 969*2^1250756-1 is not prime. Res64: 45CFDBE1BF3270CB Time : 0.0 sec. user=mdettweiler [2013-08-14 20:29:41] 615*2^1250757-1 is not prime. Res64: 0F6279DA4DF27767 Time : 0.0 sec. user=mdettweiler [2013-08-14 20:34:45] 667*2^1250757-1 is not prime. Res64: 4B21FBAAC4002E1F Time : 0.0 sec. user=mdettweiler [2013-08-14 20:34:45] 727*2^1250757-1 is not prime. Res64: C82A88539FEC8C38 Time : 0.0 sec. user=mdettweiler [2013-08-14 20:37:18] 829*2^1250757-1 is not prime. Res64: 3C0206360F533DEB Time : 0.0 sec. user=mdettweiler [2013-08-14 20:37:19] 867*2^1250757-1 is not prime. Res64: D5D8730B04B482A6 Time : 0.0 sec. user=mdettweiler [2013-08-14 20:38:15] 611*2^1250758-1 is not prime. Res64: 1AC55C5E3866DBEE Time : 0.0 sec. user=mdettweiler [2013-08-14 20:38:15] 747*2^1250758-1 is not prime. Res64: 7517E102739B520B Time : 0.0 sec. user=mdettweiler [2013-08-14 20:49:08] 791*2^1250758-1 is not prime. Res64: FE1409E168DF3A95 Time : 0.0 sec. user=mdettweiler [2013-08-14 20:49:09] 881*2^1250758-1 is not prime. Res64: 5997FB126F694ECD Time : 0.0 sec. user=mdettweiler [2013-08-14 20:55:07] 885*2^1250758-1 is not prime. Res64: BF88DCB592043921 Time : 0.0 sec. user=mdettweiler [2013-08-14 20:55:08] 945*2^1250758-1 is not prime. Res64: 31C0D1192981BBD7 Time : 0.0 sec. user=mdettweiler [2013-08-14 20:57:40] 705*2^1250759-1 is not prime. Res64: A127C2F95B824061 Time : 0.0 sec. user=mdettweiler [2013-08-14 20:57:40] 763*2^1250759-1 is not prime. Res64: D04FDBFD5812BCCE Time : 0.0 sec. user=mdettweiler [2013-08-14 20:58:30] 987*2^1250758-1 is not prime. Res64: CBCD50844D5EED4D Time : 0.0 sec. user=mdettweiler [2013-08-14 20:58:31] 995*2^1250758-1 is not prime. Res64: 0150EE7895E1A239 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:08:40] 799*2^1250759-1 is not prime. Res64: 05234CEF3DB7A579 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:08:41] 895*2^1250759-1 is not prime. Res64: E0032C0AA5094BC3 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:14:37] 725*2^1250760-1 is not prime. Res64: FACEA5878298B37A Time : 0.0 sec. user=mdettweiler [2013-08-14 21:14:37] 753*2^1250760-1 is not prime. Res64: 699C92C059EB2DB8 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:17:10] 779*2^1250760-1 is not prime. Res64: 60FDB84D18ACBC82 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:17:10] 795*2^1250760-1 is not prime. Res64: BFBFDBF5F53DC7F2 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:17:57] 803*2^1250760-1 is not prime. Res64: 54667D6CF425736E Time : 0.0 sec. user=mdettweiler [2013-08-14 21:17:58] 879*2^1250760-1 is not prime. Res64: E95FD310CEA4D047 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:28:11] 619*2^1250761-1 is not prime. Res64: 977CF09A63F5D343 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:28:11] 687*2^1250761-1 is not prime. Res64: F1D4C1405672E219 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:34:08] 741*2^1250761-1 is not prime. Res64: 375D68A90A2B4015 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:34:08] 775*2^1250761-1 is not prime. Res64: 13FC29F0F9F47723 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:37:24] 705*2^1250762-1 is not prime. Res64: 5B5E1C387B38AA04 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:37:25] 731*2^1250762-1 is not prime. Res64: 5C069D71B7F4D000 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:37:41] 945*2^1250761-1 is not prime. Res64: 396F7D594C940959 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:37:41] 675*2^1250762-1 is not prime. Res64: D40FCA70094B4A35 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:47:47] 735*2^1250762-1 is not prime. Res64: 7889EFE4964674FA Time : 0.0 sec. user=mdettweiler [2013-08-14 21:47:47] 741*2^1250762-1 is not prime. Res64: FC204F50B706C8A7 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:53:49] 837*2^1250762-1 is not prime. Res64: BB903F831814A461 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:53:50] 615*2^1250763-1 is not prime. Res64: 353351DDA0204381 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:56:56] 663*2^1250763-1 is not prime. Res64: 444609895EAB3421 Time : 0.0 sec. user=mdettweiler [2013-08-14 21:56:56] 705*2^1250763-1 is not prime. Res64: A47DD7DA157F5FDA Time : 0.0 sec. user=mdettweiler [2013-08-14 21:57:12] 741*2^1250763-1 is not prime. Res64: 4A4527A34C586E8E Time : 0.0 sec. user=mdettweiler [2013-08-14 21:57:13] 829*2^1250763-1 is not prime. Res64: 2A52B55B2FD03DC9 Time : 0.0 sec. user=mdettweiler [2013-08-14 22:09:31] 919*2^1250763-1 is not prime. Res64: DCC6BAD656177A9A Time : 0.0 sec. user=mdettweiler [2013-08-14 22:09:32] 943*2^1250763-1 is not prime. Res64: 1A99037C1CC963A5 Time : 0.0 sec. user=mdettweiler [2013-08-14 22:13:46] 719*2^1250764-1 is not prime. Res64: B8B84CBACDD8E7DE Time : 0.0 sec. user=mdettweiler [2013-08-14 22:13:46] 873*2^1250764-1 is not prime. Res64: D0BCD3ECB75F89E3 Time : 0.0 sec. user=mdettweiler [2013-08-14 22:17:07] 711*2^1250765-1 is not prime. Res64: 9FE01E091926E73E Time : 0.0 sec. user=mdettweiler [2013-08-14 22:17:07] 897*2^1250765-1 is not prime. Res64: 153ED9551E0A91CF Time : 0.0 sec. user=mdettweiler [2013-08-14 22:19:21] 975*2^1250764-1 is not prime. Res64: D6FA4F9DD2F7CD0B Time : 0.0 sec. user=mdettweiler [2013-08-14 22:19:22] 989*2^1250764-1 is not prime. Res64: 325CEA75DBC5E557 Time : 0.0 sec. user=mdettweiler [2013-08-14 22:33:31] 915*2^1250765-1 is not prime. Res64: 785564ADA0BEB3CC Time : 0.0 sec. user=mdettweiler [2013-08-14 22:33:31] 657*2^1250766-1 is not prime. Res64: E3FA6B98606AECF2 Time : 0.0 sec. user=mdettweiler [2013-08-14 22:35:59] 801*2^1250766-1 is not prime. Res64: 12C5B2FB406644A2 Time : 0.0 sec. user=mdettweiler [2013-08-14 22:35:59] 603*2^1250767-1 is not prime. Res64: 729B783FC8C27342 Time : 0.0 sec. user=mdettweiler [2013-08-14 22:40:27] 625*2^1250767-1 is not prime. Res64: D6AA862375E749D2 Time : 0.0 sec. user=mdettweiler [2013-08-14 22:40:27] 649*2^1250767-1 is not prime. Res64: 7EBE5A3EB79DAA2A Time : 0.0 sec. user=mdettweiler [2013-08-14 22:42:20] 759*2^1250767-1 is not prime. Res64: DF96FAE161DF6C39 Time : 0.0 sec. user=mdettweiler [2013-08-14 22:42:20] 769*2^1250767-1 is not prime. Res64: 209776BA8853034A Time : 0.0 sec. user=mdettweiler [2013-08-14 22:55:36] 885*2^1250767-1 is not prime. Res64: 1F499648D8DBDBB9 Time : 0.0 sec. user=mdettweiler [2013-08-14 22:55:36] 895*2^1250767-1 is not prime. Res64: C08A7CE7FD483616 Time : 0.0 sec. user=mdettweiler [2013-08-14 22:58:49] 901*2^1250767-1 is not prime. Res64: 3E54C24F299C18FF Time : 0.0 sec. user=mdettweiler [2013-08-14 22:58:49] 933*2^1250767-1 is not prime. Res64: 71CBC55E4CF99F9D Time : 0.0 sec. user=mdettweiler [2013-08-14 23:02:54] 767*2^1250768-1 is not prime. Res64: 9534C73DCD6C9D90 Time : 0.0 sec. user=mdettweiler [2013-08-14 23:02:55] 797*2^1250768-1 is not prime. Res64: B8E82D0135B25312 Time : 0.0 sec. user=mdettweiler [2013-08-14 23:03:39] 973*2^1250767-1 is not prime. Res64: BC46B4762CDCF3CE Time : 0.0 sec. user=mdettweiler [2013-08-14 23:03:40] 635*2^1250768-1 is not prime. Res64: 7F55BCFF4528FF4E Time : 0.0 sec. user=mdettweiler [2013-08-14 23:15:26] 827*2^1250768-1 is not prime. Res64: 0471DDB794E24562 Time : 0.0 sec. user=mdettweiler [2013-08-14 23:15:26] 843*2^1250768-1 is not prime. Res64: B557E66FC65A5A31 Time : 0.0 sec. user=mdettweiler [2013-08-14 23:19:46] 869*2^1250768-1 is not prime. Res64: F191F81CE01CF91C Time : 0.0 sec. user=mdettweiler [2013-08-14 23:19:47] 969*2^1250768-1 is not prime. Res64: 2FD758305D355011 Time : 0.0 sec. user=mdettweiler [2013-08-14 23:23:34] 847*2^1250769-1 is not prime. Res64: C4FBB6A5DB671992 Time : 0.0 sec. user=mdettweiler [2013-08-14 23:23:34] 895*2^1250769-1 is not prime. Res64: 122196BB5DF8C564 Time : 0.0 sec. user=mdettweiler [2013-08-14 23:24:04] 999*2^1250768-1 is not prime. Res64: A25285268E19A1BD Time : 0.0 sec. user=mdettweiler [2013-08-14 23:24:04] 657*2^1250769-1 is not prime. Res64: 22954588AEB13CCD Time : 0.0 sec. user=mdettweiler [2013-08-14 23:36:22] 919*2^1250769-1 is not prime. Res64: 0730C2E10049C615 Time : 0.0 sec. user=mdettweiler [2013-08-14 23:36:23] 713*2^1250770-1 is not prime. Res64: 431BBC7EA04AF581 Time : 0.0 sec. user=mdettweiler [2013-08-14 23:40:56] 971*2^1250770-1 is not prime. Res64: 52B95514A005543A Time : 0.0 sec. user=mdettweiler [2013-08-14 23:40:56] 603*2^1250771-1 is not prime. Res64: 0BA0CCC24B9334EB Time : 0.0 sec. user=mdettweiler [2013-08-14 23:43:51] 651*2^1250771-1 is not prime. Res64: 52209A062C478241 Time : 0.0 sec. user=mdettweiler [2013-08-14 23:43:52] 733*2^1250771-1 is not prime. Res64: 91FC1CDB41DEA65C Time : 0.0 sec. user=mdettweiler [2013-08-14 23:44:13] 741*2^1250771-1 is not prime. Res64: F4092D45037D730E Time : 0.0 sec. user=mdettweiler [2013-08-14 23:44:13] 759*2^1250771-1 is not prime. Res64: F329904068716EE1 Time : 0.0 sec. user=mdettweiler [2013-08-14 23:58:13] 955*2^1250771-1 is not prime. Res64: E843D5ACB258BBD4 Time : 0.0 sec. user=mdettweiler [2013-08-14 23:58:13] 969*2^1250771-1 is not prime. Res64: CCDA31340EC9027C Time : 0.0 sec. user=mdettweiler [2013-08-15 00:00:57] 627*2^1250772-1 is not prime. Res64: 176A2EF2F6C9F7D3 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:00:57] 633*2^1250772-1 is not prime. Res64: FCFBAABEAE5B46CA Time : 0.0 sec.