user=mdettweiler [2013-08-21 00:10:08] 819*2^1251352-1 is not prime. Res64: 808F5FC063D38C7C Time : 0.0 sec. user=mdettweiler [2013-08-21 00:10:09] 915*2^1251352-1 is not prime. Res64: 8E5FC9B069BBC5E1 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:11:37] 933*2^1251352-1 is not prime. Res64: E4193855BCA38E0E Time : 0.0 sec. user=mdettweiler [2013-08-21 00:11:37] 965*2^1251352-1 is not prime. Res64: 724D7CDA8AD91213 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:12:13] 983*2^1251352-1 is not prime. Res64: 243C8C8A28440262 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:12:14] 989*2^1251352-1 is not prime. Res64: A317BAA427AD8C31 Time : 0.0 sec. user=juhehe [2013-08-21 00:19:49] 895*2^1251351-1 is not prime. Res64: 9D90C86D5FC46613 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:20:36] 685*2^1251353-1 is not prime. Res64: 9053649A327A31F9 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:20:36] 819*2^1251353-1 is not prime. Res64: 7D5C30903E4E4DE2 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:30:54] 847*2^1251353-1 is not prime. Res64: 056FF0D91ACE63FA Time : 0.0 sec. user=mdettweiler [2013-08-21 00:30:55] 885*2^1251353-1 is not prime. Res64: 512F8C2C6373CCC3 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:32:52] 681*2^1251354-1 is not prime. Res64: EFF593A295B9B910 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:32:53] 683*2^1251354-1 is not prime. Res64: 4AB8B0E039DA5A63 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:33:12] 915*2^1251353-1 is not prime. Res64: 246967D28BCB2BBA Time : 0.0 sec. user=mdettweiler [2013-08-21 00:33:12] 651*2^1251354-1 is not prime. Res64: 2DE24E59A79B75E0 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:41:59] 705*2^1251354-1 is not prime. Res64: 3F09224F5D849737 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:41:59] 983*2^1251354-1 is not prime. Res64: ABC23E0730339C93 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:51:07] 603*2^1251355-1 is not prime. Res64: A81D67AFF86D5176 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:51:08] 685*2^1251355-1 is not prime. Res64: 8B564664352A4A0C Time : 0.0 sec. user=mdettweiler [2013-08-21 00:53:09] 759*2^1251355-1 is not prime. Res64: DFB78BCE89A48267 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:53:09] 805*2^1251355-1 is not prime. Res64: 4848D7F2CDA16E87 Time : 0.0 sec. user=mdettweiler [2013-08-21 00:55:33] 919*2^1251355-1 is not prime. Res64: 7FAD896B9E7216BB Time : 0.0 sec. user=mdettweiler [2013-08-21 00:55:34] 939*2^1251355-1 is not prime. Res64: A44ADC235B2BE1D4 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:03:11] 973*2^1251355-1 is not prime. Res64: 11FD695309D30624 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:03:13] 629*2^1251356-1 is not prime. Res64: FC29281B017F0C60 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:11:14] 633*2^1251356-1 is not prime. Res64: A81B9FEB4BD810B3 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:11:15] 635*2^1251356-1 is not prime. Res64: 065CC4C8E29D6468 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:13:14] 725*2^1251356-1 is not prime. Res64: 9C993B7F4F27DB9C Time : 0.0 sec. user=mdettweiler [2013-08-21 01:13:14] 735*2^1251356-1 is not prime. Res64: F0429D2F13582C20 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:15:34] 767*2^1251356-1 is not prime. Res64: 53F4E7A89A6A0021 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:15:35] 843*2^1251356-1 is not prime. Res64: 10CB8B5D0F2A05D9 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:25:18] 945*2^1251356-1 is not prime. Res64: 307AC39C556041EA Time : 0.0 sec. user=mdettweiler [2013-08-21 01:25:19] 987*2^1251356-1 is not prime. Res64: 0570FEAA48696E92 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:31:16] 685*2^1251357-1 is not prime. Res64: 5C70D25CCB292C33 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:31:16] 727*2^1251357-1 is not prime. Res64: 7A3C2CD97C3A6875 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:33:13] 777*2^1251357-1 is not prime. Res64: CCA033EBCEAB56F3 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:33:14] 819*2^1251357-1 is not prime. Res64: 9AEFC0F976275D80 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:36:36] 861*2^1251357-1 is not prime. Res64: BC0EC90A35BA0F56 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:36:37] 961*2^1251357-1 is not prime. Res64: 5E72A460DB62E00D Time : 0.0 sec. user=juhehe [2013-08-21 01:44:51] 875*2^1251356-1 is not prime. Res64: 7CCD6A6811A4FC03 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:46:20] 975*2^1251357-1 is not prime. Res64: 6F0C3DCD088F9D54 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:46:21] 617*2^1251358-1 is not prime. Res64: EBCBDDA6D361F4EC Time : 0.0 sec. user=juhehe [2013-08-21 01:46:50] 607*2^1251357-1 is not prime. Res64: BBB2EB19370A92EF Time : 0.0 sec. user=mdettweiler [2013-08-21 01:51:25] 761*2^1251358-1 is not prime. Res64: 384527B071F29D15 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:51:25] 887*2^1251358-1 is not prime. Res64: 47DBEE82C2B35C97 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:55:18] 923*2^1251358-1 is not prime. Res64: 89FA3AC1606DDD56 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:55:19] 981*2^1251358-1 is not prime. Res64: 70E6D55EF687B319 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:56:43] 603*2^1251359-1 is not prime. Res64: 8485BEF95BA107F3 Time : 0.0 sec. user=mdettweiler [2013-08-21 01:56:43] 661*2^1251359-1 is not prime. Res64: ECD06523960B6855 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:06:32] 771*2^1251359-1 is not prime. Res64: 4029D7C8EEE95597 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:06:34] 799*2^1251359-1 is not prime. Res64: 207BBE0BCF6D8E44 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:13:12] 943*2^1251359-1 is not prime. Res64: 51CAD7E517248782 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:13:13] 623*2^1251360-1 is not prime. Res64: A6B50B2D0D64D38A Time : 0.0 sec. user=mdettweiler [2013-08-21 02:16:12] 863*2^1251360-1 is not prime. Res64: 7987908DAA8B8E6B Time : 0.0 sec. user=mdettweiler [2013-08-21 02:16:12] 887*2^1251360-1 is not prime. Res64: DE3F7370A51A69A1 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:19:16] 899*2^1251360-1 is not prime. Res64: 1ED3A94C1C4ED862 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:19:16] 927*2^1251360-1 is not prime. Res64: 016A2F67989ED452 Time : 0.0 sec. user=juhehe [2013-08-21 02:20:49] 711*2^1251359-1 is not prime. Res64: 9CDD6A69C72CC66B Time : 0.0 sec. user=mdettweiler [2013-08-21 02:28:31] 933*2^1251360-1 is not prime. Res64: 1D13A007CE67ED08 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:28:32] 625*2^1251361-1 is not prime. Res64: CD7AB7E6F86936CA Time : 0.0 sec. user=mdettweiler [2013-08-21 02:33:33] 769*2^1251361-1 is not prime. Res64: 2510A90DDBC5A33C Time : 0.0 sec. user=mdettweiler [2013-08-21 02:33:34] 799*2^1251361-1 is not prime. Res64: 9B0F581F3CF33E04 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:36:44] 805*2^1251361-1 is not prime. Res64: EBAB73E36C49338C Time : 0.0 sec. user=mdettweiler [2013-08-21 02:36:45] 855*2^1251361-1 is not prime. Res64: 51C653A583BC7D7D Time : 0.0 sec. user=mdettweiler [2013-08-21 02:40:41] 939*2^1251361-1 is not prime. Res64: 711007C2910467C4 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:40:42] 735*2^1251362-1 is not prime. Res64: A71A4146AA423212 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:48:39] 741*2^1251362-1 is not prime. Res64: CEF78AB3914ADE0E Time : 0.0 sec. user=mdettweiler [2013-08-21 02:48:40] 831*2^1251362-1 is not prime. Res64: 0C7EFBB764F14076 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:55:26] 941*2^1251362-1 is not prime. Res64: 74153144D1CCB260 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:55:27] 981*2^1251362-1 is not prime. Res64: EEDBAE8A0C7E66C1 Time : 0.0 sec. user=mdettweiler [2013-08-21 02:56:44] 669*2^1251363-1 is not prime. Res64: 4B6311ADACD7FCEE Time : 0.0 sec. user=mdettweiler [2013-08-21 02:56:45] 675*2^1251363-1 is not prime. Res64: BDBECE83CA3DF6DB Time : 0.0 sec. user=mdettweiler [2013-08-21 03:00:50] 723*2^1251363-1 is not prime. Res64: 82986E0A693C07DE Time : 0.0 sec. user=mdettweiler [2013-08-21 03:00:51] 781*2^1251363-1 is not prime. Res64: CFC4E596779291DD Time : 0.0 sec. user=mdettweiler [2013-08-21 03:08:54] 805*2^1251363-1 is not prime. Res64: AEF85888DD669F78 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:08:54] 823*2^1251363-1 is not prime. Res64: D0C133F59C8AD86E Time : 0.0 sec. user=mdettweiler [2013-08-21 03:15:31] 605*2^1251364-1 is not prime. Res64: A3EE3B0CFF4BD4F0 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:15:31] 719*2^1251364-1 is not prime. Res64: B93D10739F7E5211 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:17:47] 743*2^1251364-1 is not prime. Res64: C1ED405AE0EDAC06 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:17:47] 923*2^1251364-1 is not prime. Res64: 2ED8E3060C7F0EC6 Time : 0.0 sec. user=juhehe [2013-08-21 03:18:16] 875*2^1251362-1 is not prime. Res64: 87D464E9A87513A7 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:20:58] 657*2^1251365-1 is not prime. Res64: 70822440B5AD99AA Time : 0.0 sec. user=mdettweiler [2013-08-21 03:20:59] 691*2^1251365-1 is not prime. Res64: 590C70FC852C3D7A Time : 0.0 sec. user=mdettweiler [2013-08-21 03:29:02] 729*2^1251365-1 is not prime. Res64: 7B9140E6D6C44B6A Time : 0.0 sec. user=mdettweiler [2013-08-21 03:29:02] 735*2^1251365-1 is not prime. Res64: B46A0AD5343D81A5 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:35:32] 831*2^1251365-1 is not prime. Res64: 73AE5713FF580A19 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:35:33] 861*2^1251365-1 is not prime. Res64: 2D1B1F5C29B67360 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:37:45] 871*2^1251365-1 is not prime. Res64: AC39DA615DB06739 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:37:45] 885*2^1251365-1 is not prime. Res64: A85A6C63A6DF932F Time : 0.0 sec. user=mdettweiler [2013-08-21 03:40:57] 611*2^1251366-1 is not prime. Res64: 146D8451418CF4D8 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:40:57] 615*2^1251366-1 is not prime. Res64: 978B935315F5B95B Time : 0.0 sec. user=mdettweiler [2013-08-21 03:48:59] 741*2^1251366-1 is not prime. Res64: D94CC10F1DC3C3B7 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:49:00] 765*2^1251366-1 is not prime. Res64: 8F27DBE2C21AAD26 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:55:43] 867*2^1251366-1 is not prime. Res64: E3438A672905B4E7 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:55:43] 887*2^1251366-1 is not prime. Res64: FC9BF3F772F0401B Time : 0.0 sec. user=mdettweiler [2013-08-21 03:57:43] 891*2^1251366-1 is not prime. Res64: D1F32DF5168A98A2 Time : 0.0 sec. user=mdettweiler [2013-08-21 03:57:43] 609*2^1251367-1 is not prime. Res64: 7FCA61DDAE13D588 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:01:01] 619*2^1251367-1 is not prime. Res64: DED82FCA725EF767 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:01:02] 793*2^1251367-1 is not prime. Res64: F53570370BC40476 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:10:06] 859*2^1251367-1 is not prime. Res64: 95C5C27404423F1D Time : 0.0 sec. user=mdettweiler [2013-08-21 04:10:07] 925*2^1251367-1 is not prime. Res64: A2CE3351A5F0EA88 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:17:39] 973*2^1251367-1 is not prime. Res64: 61B8550C53EB7F1B Time : 0.0 sec. user=mdettweiler [2013-08-21 04:17:39] 979*2^1251367-1 is not prime. Res64: 452CF62AA341E89F Time : 0.0 sec. user=mdettweiler [2013-08-21 04:17:49] 657*2^1251368-1 is not prime. Res64: AC86840E0D915E57 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:17:50] 677*2^1251368-1 is not prime. Res64: 23AAF806F7D2D212 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:21:07] 747*2^1251368-1 is not prime. Res64: 453B24BB988EE2AB Time : 0.0 sec. user=mdettweiler [2013-08-21 04:21:08] 753*2^1251368-1 is not prime. Res64: AB977F17E92CE169 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:30:16] 755*2^1251368-1 is not prime. Res64: 4FC1EE42C14CE98F Time : 0.0 sec. user=mdettweiler [2013-08-21 04:30:17] 773*2^1251368-1 is not prime. Res64: DF9AC7928A79CE7D Time : 0.0 sec. user=mdettweiler [2013-08-21 04:37:59] 649*2^1251369-1 is not prime. Res64: 622755C012C43A5F Time : 0.0 sec. user=mdettweiler [2013-08-21 04:37:59] 705*2^1251369-1 is not prime. Res64: 3B0826B6D1312B00 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:38:46] 825*2^1251368-1 is not prime. Res64: 484C0288E06A90B5 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:38:47] 935*2^1251368-1 is not prime. Res64: 92246C43B5D64386 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:41:13] 727*2^1251369-1 is not prime. Res64: FFB243A4C102D20D Time : 0.0 sec. user=mdettweiler [2013-08-21 04:41:14] 865*2^1251369-1 is not prime. Res64: A7BA53A91ED04492 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:50:26] 611*2^1251370-1 is not prime. Res64: 031B028F1AD054B8 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:50:27] 671*2^1251370-1 is not prime. Res64: 9B6A5CC0A93BFB86 Time : 0.0 sec. user=mdettweiler [2013-08-21 04:59:03] 857*2^1251370-1 is not prime. Res64: D0FF25ADCD4D236B Time : 0.0 sec. user=mdettweiler [2013-08-21 04:59:04] 951*2^1251370-1 is not prime. Res64: 6DFBC39FB5108E3D Time : 0.0 sec. user=mdettweiler [2013-08-21 05:00:10] 957*2^1251370-1 is not prime. Res64: 4E36AE5F065F25D9 Time : 0.0 sec. user=mdettweiler [2013-08-21 05:00:11] 741*2^1251371-1 is not prime. Res64: 20C0953A2D5C41A7 Time : 0.0 sec. user=mdettweiler [2013-08-21 05:01:29] 759*2^1251371-1 is not prime. Res64: DA6E54459A3E3201 Time : 0.0 sec. user=mdettweiler [2013-08-21 05:01:30] 789*2^1251371-1 is not prime. Res64: 5D18E1748A4F4F6C Time : 0.0 sec. user=mdettweiler [2013-08-21 05:10:31] 819*2^1251371-1 is not prime. Res64: A22D04921E39CFFF Time : 0.0 sec. user=mdettweiler [2013-08-21 05:10:32] 843*2^1251371-1 is not prime. Res64: 9BA7E598076032CC Time : 0.0 sec. user=mdettweiler [2013-08-21 05:18:59] 647*2^1251372-1 is not prime. Res64: 8B1E902BD323824F Time : 0.0 sec. user=mdettweiler [2013-08-21 05:19:00] 737*2^1251372-1 is not prime. Res64: 516160F55545B3B8 Time : 0.0 sec. user=mdettweiler [2013-08-21 05:20:16] 753*2^1251372-1 is not prime. Res64: 9C42ACC92A801E29 Time : 0.0 sec. user=mdettweiler [2013-08-21 05:20:17] 765*2^1251372-1 is not prime. Res64: AB9144CB442163FE Time : 0.0 sec. user=mdettweiler [2013-08-21 05:22:30] 825*2^1251372-1 is not prime. Res64: 0C3227DD03BF8FB6 Time : 0.0 sec. user=mdettweiler [2013-08-21 05:22:30] 903*2^1251372-1 is not prime. Res64: 194B5DA165300490 Time : 0.0 sec. user=mdettweiler [2013-08-21 05:30:54] 687*2^1251373-1 is not prime. Res64: 922F4145B55FDDC2 Time : 0.0 sec. user=mdettweiler [2013-08-21 05:30:55] 715*2^1251373-1 is not prime. Res64: CA63F8F775B29C4B Time : 0.0 sec. user=mdettweiler [2013-08-21 05:39:01] 741*2^1251373-1 is not prime. Res64: 5C99D790D3243860 Time : 0.0 sec. user=mdettweiler [2013-08-21 05:39:02] 771*2^1251373-1 is not prime. Res64: 9B0052A38D6133CE Time : 0.0 sec. user=mdettweiler [2013-08-21 05:40:14] 859*2^1251373-1 is not prime. Res64: 8C82D7714538FD0C Time : 0.0 sec. user=mdettweiler [2013-08-21 05:40:15] 867*2^1251373-1 is not prime. Res64: AE273A65DDE98C1A Time : 0.0 sec. user=mdettweiler [2013-08-21 05:43:39] 889*2^1251373-1 is not prime. Res64: D10AB927DBC7F8C0 Time : 0.0 sec. user=mdettweiler [2013-08-21 05:43:39] 987*2^1251373-1 is not prime. Res64: 5B0E47F3C15406A0 Time : 0.0 sec. user=mdettweiler [2013-08-21 05:51:11] 683*2^1251374-1 is not prime. Res64: B61C90151946F6B7 Time : 0.0 sec. user=mdettweiler [2013-08-21 05:51:11] 705*2^1251374-1 is not prime. Res64: 3B99540F1D7E0192 Time : 0.0 sec. user=juhehe [2013-08-21 05:52:48] 933*2^1251372-1 is not prime. Res64: A42CEEF9FDD43EEF Time : 0.0 sec. user=mdettweiler [2013-08-21 06:00:34] 767*2^1251374-1 is not prime. Res64: 921BD0ED62D465FE Time : 0.0 sec. user=mdettweiler [2013-08-21 06:00:36] 897*2^1251374-1 is not prime. Res64: A7354D3065B0E356 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:00:39] 601*2^1251375-1 is not prime. Res64: 6E225D17740AA2D6 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:00:41] 619*2^1251375-1 is not prime. Res64: 4839DE6E0E66A93F Time : 0.0 sec. user=mdettweiler [2013-08-21 06:04:05] 649*2^1251375-1 is not prime. Res64: 3891501F514EFA63 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:04:05] 735*2^1251375-1 is not prime. Res64: E0744D5CA8D3B90F Time : 0.0 sec. user=mdettweiler [2013-08-21 06:11:54] 739*2^1251375-1 is not prime. Res64: 79F3AA128947431B Time : 0.0 sec. user=mdettweiler [2013-08-21 06:11:55] 783*2^1251375-1 is not prime. Res64: 570896B9102F2101 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:22:07] 823*2^1251375-1 is not prime. Res64: 6241F1A8FC766DD5 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:22:08] 871*2^1251375-1 is not prime. Res64: 9488C0CEF78A0FFD Time : 0.0 sec. user=mdettweiler [2013-08-21 06:24:00] 961*2^1251375-1 is not prime. Res64: 1B2FCA1D56610EF7 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:24:00] 985*2^1251375-1 is not prime. Res64: 356FCFBFF0A3420B Time : 0.0 sec. user=mdettweiler [2013-08-21 06:25:20] 719*2^1251376-1 is not prime. Res64: A49622A4CF6454CE Time : 0.0 sec. user=mdettweiler [2013-08-21 06:25:21] 765*2^1251376-1 is not prime. Res64: 92FA0E3EFDBAFCDA Time : 0.0 sec. user=mdettweiler [2013-08-21 06:33:54] 779*2^1251376-1 is not prime. Res64: C55BAF7034FFFFD7 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:33:54] 965*2^1251376-1 is not prime. Res64: 9A8F0F4F3E845B20 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:42:36] 729*2^1251377-1 is not prime. Res64: 423E6B3EC1CFE3DD Time : 0.0 sec. user=mdettweiler [2013-08-21 06:42:36] 741*2^1251377-1 is not prime. Res64: A8E5A10723522147 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:44:20] 799*2^1251377-1 is not prime. Res64: B14262D193A20249 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:44:21] 831*2^1251377-1 is not prime. Res64: 4113E849FC72C4BD Time : 0.0 sec. user=mdettweiler [2013-08-21 06:45:37] 867*2^1251377-1 is not prime. Res64: AF0E7D8107408BA8 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:45:38] 605*2^1251378-1 is not prime. Res64: 3217214E26AF0FF6 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:54:05] 657*2^1251378-1 is not prime. Res64: 0ECA389360D37384 Time : 0.0 sec. user=mdettweiler [2013-08-21 06:54:06] 681*2^1251378-1 is not prime. Res64: DBCB4B659E6DB1AB Time : 0.0 sec. user=mdettweiler [2013-08-21 07:02:49] 755*2^1251378-1 is not prime. Res64: 6DE4CEE3DB812691 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:02:50] 833*2^1251378-1 is not prime. Res64: D2D0A955712D5431 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:05:24] 893*2^1251378-1 is not prime. Res64: 176FF00215957128 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:05:25] 923*2^1251378-1 is not prime. Res64: 8244178B892CC45A Time : 0.0 sec. user=mdettweiler [2013-08-21 07:05:43] 615*2^1251379-1 is not prime. Res64: 31D9F53AC094AA25 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:05:44] 679*2^1251379-1 is not prime. Res64: 7054BD148BB7F6A5 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:14:00] 745*2^1251379-1 is not prime. Res64: FBACD26808E4BDF6 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:14:00] 861*2^1251379-1 is not prime. Res64: 4E27A49F30AAC9C2 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:23:00] 789*2^1251380-1 is not prime. Res64: 4CE039364850FC39 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:23:01] 885*2^1251380-1 is not prime. Res64: 9601C3E0729703D2 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:25:41] 657*2^1251381-1 is not prime. Res64: A77FBF44EF85C5A2 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:25:42] 781*2^1251381-1 is not prime. Res64: 69E6A8877A1DF898 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:26:21] 963*2^1251380-1 is not prime. Res64: C5494C9A14F7B6FD Time : 0.0 sec. user=mdettweiler [2013-08-21 07:26:22] 627*2^1251381-1 is not prime. Res64: BE97139CF9981A64 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:34:56] 885*2^1251381-1 is not prime. Res64: 048F9A1B5029A465 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:34:56] 907*2^1251381-1 is not prime. Res64: 581EDBE08742FB6D Time : 0.0 sec. user=mdettweiler [2013-08-21 07:43:55] 927*2^1251381-1 is not prime. Res64: 6BE52D0B8F7A6472 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:43:56] 617*2^1251382-1 is not prime. Res64: 814E397FE330CA1C Time : 0.0 sec. user=mdettweiler [2013-08-21 07:45:43] 647*2^1251382-1 is not prime. Res64: 729B613943E2A926 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:45:44] 695*2^1251382-1 is not prime. Res64: F2CAEF0F8C5D162C Time : 0.0 sec. user=mdettweiler [2013-08-21 07:46:23] 801*2^1251382-1 is not prime. Res64: FAD0BEDAE6FA50DF Time : 0.0 sec. user=mdettweiler [2013-08-21 07:46:24] 821*2^1251382-1 is not prime. Res64: D87444ECFA8916B7 Time : 0.0 sec. user=mdettweiler [2013-08-21 07:56:51] 983*2^1251382-1 is not prime. Res64: 3FCE3797A36C099B Time : 0.0 sec. user=mdettweiler [2013-08-21 07:56:51] 995*2^1251382-1 is not prime. Res64: 6E1F623A2F715EA4 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:03:52] 715*2^1251383-1 is not prime. Res64: 9DF6F426F5ADAB38 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:03:53] 811*2^1251383-1 is not prime. Res64: 3F58D8EA9E6370F8 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:05:38] 831*2^1251383-1 is not prime. Res64: 44D82D34DF1B1F1F Time : 0.0 sec. user=mdettweiler [2013-08-21 08:05:38] 879*2^1251383-1 is not prime. Res64: C103D530461F6F13 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:08:13] 949*2^1251383-1 is not prime. Res64: E934703D7EAA4A0C Time : 0.0 sec. user=mdettweiler [2013-08-21 08:08:14] 969*2^1251383-1 is not prime. Res64: 05126DE010B53713 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:16:44] 675*2^1251384-1 is not prime. Res64: 4AC80AF408C56BE6 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:16:44] 683*2^1251384-1 is not prime. Res64: 8941A6C27F38600C Time : 0.0 sec. user=mdettweiler [2013-08-21 08:24:03] 705*2^1251384-1 is not prime. Res64: AEEA8D4603961B50 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:24:04] 759*2^1251384-1 is not prime. Res64: 8BA6EE6682F1F5C3 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:25:42] 815*2^1251384-1 is not prime. Res64: 994961CDF1D76D8F Time : 0.0 sec. user=mdettweiler [2013-08-21 08:25:42] 843*2^1251384-1 is not prime. Res64: 8098E8F861140120 Time : 0.0 sec. user=juhehe [2013-08-21 08:27:30] 1001*2^1251382-1 is not prime. Res64: 53F1C1569CDE4E77 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:30:13] 915*2^1251384-1 is not prime. Res64: A1DD774A34D01FAB Time : 0.0 sec. user=mdettweiler [2013-08-21 08:30:14] 945*2^1251384-1 is not prime. Res64: F880776FE8F566F6 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:36:41] 675*2^1251385-1 is not prime. Res64: DEEFD936ED1550A3 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:36:42] 691*2^1251385-1 is not prime. Res64: F29C9B0AD7D5CF72 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:44:24] 799*2^1251385-1 is not prime. Res64: E4F6D309A3C5A113 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:44:24] 805*2^1251385-1 is not prime. Res64: 89B3C231CD91AA81 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:47:05] 981*2^1251385-1 is not prime. Res64: 38F8B951BC0B1F7D Time : 0.0 sec. user=mdettweiler [2013-08-21 08:47:06] 677*2^1251386-1 is not prime. Res64: 80C48EDDA9E9BD37 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:50:43] 683*2^1251386-1 is not prime. Res64: 5617D9D3241F8C17 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:50:43] 813*2^1251386-1 is not prime. Res64: 566CF2B89567AEF3 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:59:11] 911*2^1251386-1 is not prime. Res64: 02BABAFFDC835EA0 Time : 0.0 sec. user=mdettweiler [2013-08-21 08:59:12] 945*2^1251386-1 is not prime. Res64: A3F67F3E01138284 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:05:38] 981*2^1251386-1 is not prime. Res64: AC273A5BF16AB31A Time : 0.0 sec. user=mdettweiler [2013-08-21 09:05:39] 651*2^1251387-1 is not prime. Res64: FC0E8C2F6A5D63FB Time : 0.0 sec. user=mdettweiler [2013-08-21 09:07:21] 669*2^1251387-1 is not prime. Res64: 852F86CED97945D2 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:07:22] 829*2^1251387-1 is not prime. Res64: 6DDD9BDEFC510859 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:11:45] 861*2^1251387-1 is not prime. Res64: D49A02040B08EB4C Time : 0.0 sec. user=mdettweiler [2013-08-21 09:11:46] 945*2^1251387-1 is not prime. Res64: 26386135EFF18B6B Time : 0.0 sec. user=mdettweiler [2013-08-21 09:21:14] 963*2^1251387-1 is not prime. Res64: 527630760121C085 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:21:15] 985*2^1251387-1 is not prime. Res64: A1EC1664FA75C1E3 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:25:48] 615*2^1251388-1 is not prime. Res64: 270CEE24F2ED0C1C Time : 0.0 sec. user=mdettweiler [2013-08-21 09:25:49] 869*2^1251388-1 is not prime. Res64: AA8D8D660D8A6571 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:28:15] 899*2^1251388-1 is not prime. Res64: 89CD15C3497EF8D7 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:28:16] 601*2^1251389-1 is not prime. Res64: 4C1BF9C0C1C35826 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:31:43] 615*2^1251389-1 is not prime. Res64: 9EF0D60709461D14 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:31:43] 745*2^1251389-1 is not prime. Res64: 4934A93AD809E2B7 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:42:00] 879*2^1251389-1 is not prime. Res64: 21FCB889A8747ADE Time : 0.0 sec. user=mdettweiler [2013-08-21 09:42:01] 939*2^1251389-1 is not prime. Res64: 3C3C680FA9358976 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:47:34] 957*2^1251389-1 is not prime. Res64: DDC4E8298DD6FC5A Time : 0.0 sec. user=mdettweiler [2013-08-21 09:47:35] 987*2^1251389-1 is not prime. Res64: BDF6AEA192656DA2 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:48:13] 723*2^1251390-1 is not prime. Res64: 34E6CDDFE98CB6F2 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:48:13] 761*2^1251390-1 is not prime. Res64: 7121DB2F35739853 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:51:37] 777*2^1251390-1 is not prime. Res64: FD87BE0D16D01979 Time : 0.0 sec. user=mdettweiler [2013-08-21 09:51:38] 791*2^1251390-1 is not prime. Res64: 83B39BA14E05C80D Time : 0.0 sec. user=juhehe [2013-08-21 09:52:43] 795*2^1251389-1 is not prime. Res64: D7ACCE10D5969D6F Time : 0.0 sec. user=mdettweiler [2013-08-21 10:02:04] 795*2^1251390-1 is not prime. Res64: 8724D78B54F9356F Time : 0.0 sec. user=mdettweiler [2013-08-21 10:02:05] 821*2^1251390-1 is not prime. Res64: 8D12C4D002322469 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:08:11] 601*2^1251391-1 is not prime. Res64: B05C553DB19B6041 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:08:12] 745*2^1251391-1 is not prime. Res64: 37B66BB3A9FCAB89 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:09:23] 921*2^1251390-1 is not prime. Res64: 3212798BD3FD2D45 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:09:24] 941*2^1251390-1 is not prime. Res64: D1AA883E14703B07 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:11:33] 759*2^1251391-1 is not prime. Res64: 8DCAD267632C1010 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:11:34] 793*2^1251391-1 is not prime. Res64: B0B948A5AD07757C Time : 0.0 sec. user=mdettweiler [2013-08-21 10:22:05] 813*2^1251391-1 is not prime. Res64: FA33C32290E51C46 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:22:06] 889*2^1251391-1 is not prime. Res64: 7DD71B9DEF493E50 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:30:10] 961*2^1251391-1 is not prime. Res64: A53212940F3A6CD9 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:30:10] 973*2^1251391-1 is not prime. Res64: 0C04610E3EB658FF Time : 0.0 sec. user=mdettweiler [2013-08-21 10:30:17] 999*2^1251391-1 is not prime. Res64: 95F854834B40D7EF Time : 0.0 sec. user=mdettweiler [2013-08-21 10:30:17] 603*2^1251392-1 is not prime. Res64: 9A38CED28E0EAD6B Time : 0.0 sec. user=mdettweiler [2013-08-21 10:31:32] 665*2^1251392-1 is not prime. Res64: 48AA6A759977384E Time : 0.0 sec. user=mdettweiler [2013-08-21 10:31:32] 683*2^1251392-1 is not prime. Res64: 568BE5C542172253 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:41:58] 693*2^1251392-1 is not prime. Res64: B2BAAB4B081C8AF5 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:41:58] 717*2^1251392-1 is not prime. Res64: BFF7D8C584282CD5 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:50:03] 753*2^1251392-1 is not prime. Res64: 2334DA57E00F8D90 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:50:04] 825*2^1251392-1 is not prime. Res64: 00CCF0D03F9FEA41 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:51:25] 607*2^1251393-1 is not prime. Res64: 6DA58C5B855EDDC2 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:51:26] 727*2^1251393-1 is not prime. Res64: 19F177FBD095FA59 Time : 0.0 sec. user=mdettweiler [2013-08-21 10:52:03] 959*2^1251392-1 is not prime. Res64: C4DB89163871551F Time : 0.0 sec. user=mdettweiler [2013-08-21 10:52:03] 999*2^1251392-1 is not prime. Res64: FB86C7756F242FFE Time : 0.0 sec. user=juhehe [2013-08-21 10:56:11] 933*2^1251391-1 is not prime. Res64: C4CF5EAFCBDF8FDB Time : 0.0 sec. user=mdettweiler [2013-08-21 11:01:51] 747*2^1251393-1 is not prime. Res64: B6FCBDD4A76645C1 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:01:52] 885*2^1251393-1 is not prime. Res64: EE0948FEC01F26DE Time : 0.0 sec. user=mdettweiler [2013-08-21 11:09:56] 681*2^1251394-1 is not prime. Res64: A19F07EA3C9217E1 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:09:57] 701*2^1251394-1 is not prime. Res64: 1E85B0BA958B5835 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:12:51] 957*2^1251394-1 is not prime. Res64: 2C292684B1C68719 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:12:51] 771*2^1251395-1 is not prime. Res64: E4B39246BF5E9793 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:13:07] 917*2^1251394-1 is not prime. Res64: E97ABF31984A14A3 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:13:07] 941*2^1251394-1 is not prime. Res64: 6DC99EFC1195A60A Time : 0.0 sec. user=mdettweiler [2013-08-21 11:21:56] 799*2^1251395-1 is not prime. Res64: 3E523033969CFC66 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:21:57] 639*2^1251396-1 is not prime. Res64: 225A9469F8CD91B0 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:29:55] 719*2^1251396-1 is not prime. Res64: 4DCB91FA44B84553 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:29:55] 737*2^1251396-1 is not prime. Res64: 108BAB9B5EF74026 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:32:41] 767*2^1251396-1 is not prime. Res64: ADD6E19408B78CE8 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:32:41] 809*2^1251396-1 is not prime. Res64: 318AB4C4DDB3AF19 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:32:54] 839*2^1251396-1 is not prime. Res64: 092A73067FB4592B Time : 0.0 sec. user=mdettweiler [2013-08-21 11:32:55] 843*2^1251396-1 is not prime. Res64: 3E3AE22ABEA6AC96 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:43:49] 905*2^1251396-1 is not prime. Res64: 17C30A94EFC1C2E9 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:43:49] 945*2^1251396-1 is not prime. Res64: 8E75830A2CC01885 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:50:46] 999*2^1251396-1 is not prime. Res64: 5F4CE5A71D7CD2AC Time : 0.0 sec. user=mdettweiler [2013-08-21 11:50:47] 757*2^1251397-1 is not prime. Res64: E3141FC0469A6359 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:52:36] 835*2^1251397-1 is not prime. Res64: 7D1D55302321BE48 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:52:36] 849*2^1251397-1 is not prime. Res64: 079D4EAA822B7304 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:54:42] 895*2^1251397-1 is not prime. Res64: 3A1788F4918FC056 Time : 0.0 sec. user=mdettweiler [2013-08-21 11:54:43] 985*2^1251397-1 is not prime. Res64: 754E87303E242AFC Time : 0.0 sec. user=mdettweiler [2013-08-21 12:03:42] 683*2^1251398-1 is not prime. Res64: 2B47F13C6F5C4E3F Time : 0.0 sec. user=mdettweiler [2013-08-21 12:03:43] 771*2^1251398-1 is not prime. Res64: 66CF2F9D314760CC Time : 0.0 sec. user=mdettweiler [2013-08-21 12:11:32] 887*2^1251398-1 is not prime. Res64: 93AB96B9A555C377 Time : 0.0 sec. user=mdettweiler [2013-08-21 12:11:33] 941*2^1251398-1 is not prime. Res64: 929A428E4EDDE45F Time : 0.0 sec. user=mdettweiler [2013-08-21 12:13:20] 971*2^1251398-1 is not prime. Res64: 3E9A0518F587B7FB Time : 0.0 sec. user=mdettweiler [2013-08-21 12:13:20] 615*2^1251399-1 is not prime. Res64: 7A33A70C1010D18D Time : 0.0 sec. user=mdettweiler [2013-08-21 12:14:32] 669*2^1251399-1 is not prime. Res64: 928B32F5A18820EB Time : 0.0 sec. user=mdettweiler [2013-08-21 12:14:32] 705*2^1251399-1 is not prime. Res64: C8976448EC7EF0AC Time : 0.0 sec. user=mdettweiler [2013-08-21 12:23:44] 789*2^1251399-1 is not prime. Res64: 873E408D837F7D6F Time : 0.0 sec. user=mdettweiler [2013-08-21 12:23:45] 891*2^1251399-1 is not prime. Res64: 9A4EAB2DB45DED38 Time : 0.0 sec. user=mdettweiler [2013-08-21 12:33:13] 609*2^1251400-1 is not prime. Res64: CB059931361E1095 Time : 0.0 sec. user=mdettweiler [2013-08-21 12:33:14] 719*2^1251400-1 is not prime. Res64: 92D3920514B0F84D Time : 0.0 sec. user=mdettweiler [2013-08-21 12:33:22] 895*2^1251399-1 is not prime. Res64: 13C6B1A36BEE789C Time : 0.0 sec. user=mdettweiler [2013-08-21 12:33:22] 999*2^1251399-1 is not prime. Res64: EEC14F1D8420BC7D Time : 0.0 sec. user=mdettweiler [2013-08-21 12:34:21] 825*2^1251400-1 is not prime. Res64: FB643400DEB2414E Time : 0.0 sec. user=mdettweiler [2013-08-21 12:34:22] 855*2^1251400-1 is not prime. Res64: B2BFCC9104204363 Time : 0.0 sec. user=mdettweiler [2013-08-21 12:43:45] 615*2^1251401-1 is not prime. Res64: CCD0AC2F7B818980 Time : 0.0 sec. user=mdettweiler [2013-08-21 12:43:45] 627*2^1251401-1 is not prime. Res64: E4E53268C4CA55D9 Time : 0.0 sec. user=mdettweiler [2013-08-21 12:53:21] 669*2^1251401-1 is not prime. Res64: 20C25F80B237310E Time : 0.0 sec. user=mdettweiler [2013-08-21 12:53:21] 711*2^1251401-1 is not prime. Res64: 64C4162242AC66B0 Time : 0.0 sec. user=mdettweiler [2013-08-21 12:53:27] 775*2^1251401-1 is not prime. Res64: AE2ACF57CD93C1D5 Time : 0.0 sec. user=mdettweiler [2013-08-21 12:53:28] 781*2^1251401-1 is not prime. Res64: 6091AEEE9204CBB2 Time : 0.0 sec. user=mdettweiler [2013-08-21 12:54:23] 865*2^1251401-1 is not prime. Res64: 4FBB8E86A21B7B53 Time : 0.0 sec. user=mdettweiler [2013-08-21 12:54:23] 867*2^1251401-1 is not prime. Res64: 2FBFB90AF94A5EDD Time : 0.0 sec. user=mdettweiler [2013-08-21 13:04:46] 949*2^1251401-1 is not prime. Res64: B45178511CC5EA55 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:04:47] 705*2^1251402-1 is not prime. Res64: AC431F5B0EFA5183 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:13:16] 725*2^1251402-1 is not prime. Res64: 89FB4D3C34AFF4E1 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:13:16] 755*2^1251402-1 is not prime. Res64: 82088E3B69AC06F4 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:13:24] 767*2^1251402-1 is not prime. Res64: 9E20CE2A2204B7F1 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:13:27] 807*2^1251402-1 is not prime. Res64: 4B9D4FAD972C418C Time : 0.0 sec. user=mdettweiler [2013-08-21 13:14:17] 873*2^1251402-1 is not prime. Res64: 07DBAFDFDA3176F2 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:14:18] 631*2^1251403-1 is not prime. Res64: 7E96B9F43827DB0D Time : 0.0 sec. user=mdettweiler [2013-08-21 13:25:46] 675*2^1251403-1 is not prime. Res64: 8042ADB47AF0622B Time : 0.0 sec. user=mdettweiler [2013-08-21 13:25:46] 915*2^1251403-1 is not prime. Res64: 46867F434FED99EE Time : 0.0 sec. user=mdettweiler [2013-08-21 13:33:21] 677*2^1251404-1 is not prime. Res64: EA1FA5B0448A105B Time : 0.0 sec. user=mdettweiler [2013-08-21 13:33:22] 753*2^1251404-1 is not prime. Res64: E9A968B75E989952 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:34:12] 919*2^1251403-1 is not prime. Res64: 542699F11234BEE1 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:34:12] 657*2^1251404-1 is not prime. Res64: F57AED92C6EEDA31 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:35:10] 833*2^1251404-1 is not prime. Res64: BC3CE3B2DF653F8D Time : 0.0 sec. user=mdettweiler [2013-08-21 13:35:10] 927*2^1251404-1 is not prime. Res64: CD6E32D69371A760 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:47:38] 953*2^1251404-1 is not prime. Res64: B760447B2E32E5A2 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:47:39] 969*2^1251404-1 is not prime. Res64: 8ABC98338D807DB3 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:54:08] 669*2^1251405-1 is not prime. Res64: AB111F8DB9B779B6 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:54:09] 741*2^1251405-1 is not prime. Res64: 564D8B9AEF0EEDE5 Time : 0.0 sec. user=mdettweiler [2013-08-21 13:54:12] 993*2^1251404-1 is not prime. Res64: CE6449C0D83CFE3E Time : 0.0 sec. user=mdettweiler [2013-08-21 13:54:12] 651*2^1251405-1 is not prime. Res64: 5C8CB5906BC6DE8C Time : 0.0 sec. user=mdettweiler [2013-08-21 13:55:07] 781*2^1251405-1 is not prime. Res64: 8C5CC8F831751CCE Time : 0.0 sec. user=mdettweiler [2013-08-21 13:55:08] 795*2^1251405-1 is not prime. Res64: 937737BD4B7F74D0 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:07:38] 805*2^1251405-1 is not prime. Res64: AFCFB627FFABC991 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:07:39] 889*2^1251405-1 is not prime. Res64: F58F4098A29F3BCA Time : 0.0 sec. user=mdettweiler [2013-08-21 14:15:04] 985*2^1251405-1 is not prime. Res64: 365AE41F8EEA5F2B Time : 0.0 sec. user=mdettweiler [2013-08-21 14:15:05] 611*2^1251406-1 is not prime. Res64: B4A964D99C8DCA06 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:15:11] 705*2^1251406-1 is not prime. Res64: A3EEDA32BCA88C27 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:15:11] 975*2^1251406-1 is not prime. Res64: 4373242222329A8B Time : 0.0 sec. user=mdettweiler [2013-08-21 14:16:57] 993*2^1251406-1 is not prime. Res64: B104676D49E7A7CE Time : 0.0 sec. user=mdettweiler [2013-08-21 14:16:58] 1001*2^1251406-1 is not prime. Res64: 44B85FD086CB4DC6 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:27:51] 645*2^1251407-1 is not prime. Res64: 3B4B243B0F1F2044 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:27:52] 711*2^1251407-1 is not prime. Res64: 734B07E22CED8582 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:35:02] 799*2^1251407-1 is not prime. Res64: 0AC305C3C304A1E7 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:35:02] 819*2^1251407-1 is not prime. Res64: 752F6F9CE8ABEBF4 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:37:01] 773*2^1251408-1 is not prime. Res64: AAE3AF73AA064DC8 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:37:01] 875*2^1251408-1 is not prime. Res64: ACE97AE8F4CF13AF Time : 0.0 sec. user=mdettweiler [2013-08-21 14:37:06] 981*2^1251407-1 is not prime. Res64: B1838EB892753FAA Time : 0.0 sec. user=mdettweiler [2013-08-21 14:37:07] 991*2^1251407-1 is not prime. Res64: A210D5FE590D4696 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:48:48] 893*2^1251408-1 is not prime. Res64: 1039467DF43EC29D Time : 0.0 sec. user=mdettweiler [2013-08-21 14:48:48] 899*2^1251408-1 is not prime. Res64: 23F10E5F6138D226 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:56:06] 999*2^1251408-1 is not prime. Res64: 0472F378643C1F5A Time : 0.0 sec. user=mdettweiler [2013-08-21 14:56:06] 615*2^1251409-1 is not prime. Res64: D278565FDCA90EC3 Time : 0.0 sec. user=mdettweiler [2013-08-21 14:57:05] 759*2^1251409-1 is not prime. Res64: 41B74833CBB39C5C Time : 0.0 sec. user=mdettweiler [2013-08-21 14:57:06] 861*2^1251409-1 is not prime. Res64: E0F05200BFD3E04D Time : 0.0 sec. user=mdettweiler [2013-08-21 14:58:04] 867*2^1251409-1 is not prime. Res64: 798D68F627F59B7E Time : 0.0 sec. user=mdettweiler [2013-08-21 14:58:05] 895*2^1251409-1 is not prime. Res64: C1B71B3616FA07DD Time : 0.0 sec. user=mdettweiler [2013-08-21 15:09:49] 955*2^1251409-1 is not prime. Res64: 902C89A839EC475B Time : 0.0 sec. user=mdettweiler [2013-08-21 15:09:50] 645*2^1251410-1 is not prime. Res64: EA98AEDE299FA202 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:16:10] 861*2^1251410-1 is not prime. Res64: B7B392C6A6E9E98D Time : 0.0 sec. user=mdettweiler [2013-08-21 15:16:10] 885*2^1251410-1 is not prime. Res64: 5BF51E75BD1B5E30 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:18:07] 625*2^1251411-1 is not prime. Res64: 2676B2ACD50ED7ED Time : 0.0 sec. user=mdettweiler [2013-08-21 15:18:07] 643*2^1251411-1 is not prime. Res64: B420838B1D80D6B1 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:19:05] 941*2^1251410-1 is not prime. Res64: 098BD9B713089AB0 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:19:06] 951*2^1251410-1 is not prime. Res64: E9FACE356D8E2579 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:30:59] 975*2^1251411-1 is not prime. Res64: 8A25F8C14E1E17C2 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:31:00] 617*2^1251412-1 is not prime. Res64: 0A21CBEB4C1449DB Time : 0.0 sec. user=mdettweiler [2013-08-21 15:36:18] 657*2^1251412-1 is not prime. Res64: 33D3B0135E049051 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:36:18] 693*2^1251412-1 is not prime. Res64: 2138730AD9FC2F3B Time : 0.0 sec. user=mdettweiler [2013-08-21 15:38:14] 735*2^1251412-1 is not prime. Res64: 06DDF36060BE8644 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:38:15] 779*2^1251412-1 is not prime. Res64: 27212F0638E53313 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:39:06] 855*2^1251412-1 is not prime. Res64: 09E8F0A8CC7099CD Time : 0.0 sec. user=mdettweiler [2013-08-21 15:39:07] 649*2^1251413-1 is not prime. Res64: 596937558C623EC1 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:52:10] 769*2^1251413-1 is not prime. Res64: B69EF1F71D974677 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:52:11] 937*2^1251413-1 is not prime. Res64: 01697E857387FCDF Time : 0.0 sec. user=mdettweiler [2013-08-21 15:56:27] 671*2^1251414-1 is not prime. Res64: 8803A157F1656DD8 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:56:27] 755*2^1251414-1 is not prime. Res64: B50E5BADDC76FA83 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:58:30] 851*2^1251414-1 is not prime. Res64: 3B1FE3EDFA403116 Time : 0.0 sec. user=mdettweiler [2013-08-21 15:58:30] 863*2^1251414-1 is not prime. Res64: 9F1EBBE92AC695C6 Time : 0.0 sec. user=mdettweiler [2013-08-21 16:01:09] 903*2^1251414-1 is not prime. Res64: 4305631E2F1E918F Time : 0.0 sec. user=mdettweiler [2013-08-21 16:01:10] 975*2^1251414-1 is not prime. Res64: 9EB09410D71B765E Time : 0.0 sec. user=mdettweiler [2013-08-21 16:12:26] 609*2^1251415-1 is not prime. Res64: 4F2CCE1CEBBC6E1A Time : 0.0 sec. user=mdettweiler [2013-08-21 16:12:27] 625*2^1251415-1 is not prime. Res64: CAA1B5DCC2BC302B Time : 0.0 sec. user=mdettweiler [2013-08-21 16:16:41] 663*2^1251415-1 is not prime. Res64: 841B7C9BA9AA7945 Time : 0.0 sec. user=mdettweiler [2013-08-21 16:16:41] 693*2^1251415-1 is not prime. Res64: 5DFB4F3BE4131866 Time : 0.0 sec. user=mdettweiler [2013-08-21 16:18:37] 705*2^1251415-1 is not prime. Res64: D5D1F3C207702D3E Time : 0.0 sec. user=mdettweiler [2013-08-21 16:18:38] 709*2^1251415-1 is not prime. Res64: 1C4DF70F97DFC9F8 Time : 0.0 sec. user=mdettweiler [2013-08-21 16:21:15] 735*2^1251415-1 is not prime. Res64: 731FC43781F1BE7D Time : 0.0 sec. user=mdettweiler [2013-08-21 16:21:15] 765*2^1251415-1 is not prime. Res64: E8849AD423FB5C9B Time : 0.0 sec. user=mdettweiler [2013-08-21 16:32:31] 793*2^1251415-1 is not prime. Res64: 3679CEEA5E50E26F Time : 0.0 sec. user=mdettweiler [2013-08-21 16:32:31] 841*2^1251415-1 is not prime. Res64: 76F76E82487DC589 Time : 0.0 sec. user=mdettweiler [2013-08-21 16:37:48] 873*2^1251415-1 is not prime. Res64: F42AEFE84097B7DF Time : 0.0 sec. user=mdettweiler [2013-08-21 16:37:48] 925*2^1251415-1 is not prime. Res64: E16B1C2F1C80F8AC Time : 0.0 sec. user=mdettweiler [2013-08-21 16:39:44] 933*2^1251415-1 is not prime. Res64: 6A48F262E5D975FD Time : 0.0 sec. user=mdettweiler [2013-08-21 16:39:45] 609*2^1251416-1 is not prime. Res64: 98AB9169A24BCA99 Time : 0.0 sec. user=mdettweiler [2013-08-21 16:41:25] 657*2^1251416-1 is not prime. Res64: 49C4746A2BFABBF0 Time : 0.0 sec. user=mdettweiler [2013-08-21 16:41:26] 699*2^1251416-1 is not prime. Res64: B4BDCA3ED9B8BBE6 Time : 0.0 sec. user=mdettweiler [2013-08-21 16:52:37] 815*2^1251416-1 is not prime. Res64: B5FA65CCC3A17255 Time : 0.0 sec. user=mdettweiler [2013-08-21 16:52:38] 873*2^1251416-1 is not prime. Res64: BAE81CD05FCBCE72 Time : 0.0 sec. user=mdettweiler [2013-08-21 16:59:45] 903*2^1251416-1 is not prime. Res64: DC54EAC09278189F Time : 0.0 sec. user=mdettweiler [2013-08-21 16:59:45] 969*2^1251416-1 is not prime. Res64: 9B1CD3F3BD6BCFC8 Time : 0.0 sec. user=mdettweiler [2013-08-21 16:59:48] 685*2^1251417-1 is not prime. Res64: CFC68400DEBD0408 Time : 0.0 sec. user=mdettweiler [2013-08-21 16:59:49] 741*2^1251417-1 is not prime. Res64: 1B44159F30F75EF0 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:02:28] 777*2^1251417-1 is not prime. Res64: CE7FC7319E8CA13F Time : 0.0 sec. user=mdettweiler [2013-08-21 17:02:30] 945*2^1251417-1 is not prime. Res64: 4A50388A69FC0173 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:12:46] 611*2^1251418-1 is not prime. Res64: EAB8FBBDD0A70638 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:12:47] 735*2^1251418-1 is not prime. Res64: B2EFFC8D3FED9B3B Time : 0.0 sec. user=mdettweiler [2013-08-21 17:20:48] 773*2^1251418-1 is not prime. Res64: 61B02DE72623FB69 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:20:49] 905*2^1251418-1 is not prime. Res64: FA343B5517258449 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:20:57] 951*2^1251418-1 is not prime. Res64: 2D4B468EF654C2D8 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:20:57] 669*2^1251419-1 is not prime. Res64: 1F13EA34F701669A Time : 0.0 sec. user=mdettweiler [2013-08-21 17:22:44] 675*2^1251419-1 is not prime. Res64: 89AA2EA1D5CA6AEF Time : 0.0 sec. user=mdettweiler [2013-08-21 17:22:45] 771*2^1251419-1 is not prime. Res64: 7D2EC62C136DED7A Time : 0.0 sec. user=juhehe [2013-08-21 17:28:24] 983*2^1251416-1 is not prime. Res64: 0F7254574A2BAF89 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:33:01] 823*2^1251419-1 is not prime. Res64: 30F958116ACE9E14 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:33:02] 609*2^1251420-1 is not prime. Res64: CEE066D678B74667 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:41:02] 689*2^1251420-1 is not prime. Res64: 346DE0D4CF505B6E Time : 0.0 sec. user=mdettweiler [2013-08-21 17:41:02] 707*2^1251420-1 is not prime. Res64: 41B8F5F69473A743 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:41:06] 767*2^1251420-1 is not prime. Res64: 7F619F82F34F0BE9 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:41:07] 773*2^1251420-1 is not prime. Res64: FFDE456F0D3101E0 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:42:53] 795*2^1251420-1 is not prime. Res64: 46FABD67361F195C Time : 0.0 sec. user=mdettweiler [2013-08-21 17:42:54] 867*2^1251420-1 is not prime. Res64: 0BAF7D64E5C861E4 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:54:11] 945*2^1251420-1 is not prime. Res64: 219FE04638AD4572 Time : 0.0 sec. user=mdettweiler [2013-08-21 17:54:12] 601*2^1251421-1 is not prime. Res64: D528C3054AE0A381 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:01:11] 789*2^1251421-1 is not prime. Res64: D1572516B095A516 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:01:12] 861*2^1251421-1 is not prime. Res64: 0D4ED7809245CD4B Time : 0.0 sec. user=mdettweiler [2013-08-21 18:02:13] 961*2^1251421-1 is not prime. Res64: ED7B6E674DAFB3A0 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:02:15] 615*2^1251422-1 is not prime. Res64: 645D4DDF7E6738B3 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:03:01] 797*2^1251422-1 is not prime. Res64: 75A638190C8021B1 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:03:02] 813*2^1251422-1 is not prime. Res64: FEEED5D4EA0175CA Time : 0.0 sec. user=mdettweiler [2013-08-21 18:14:28] 827*2^1251422-1 is not prime. Res64: F5FB7A25BBA8769D Time : 0.0 sec. user=mdettweiler [2013-08-21 18:14:29] 873*2^1251422-1 is not prime. Res64: AAB83A2CBB9AE68E Time : 0.0 sec. user=mdettweiler [2013-08-21 18:23:38] 923*2^1251422-1 is not prime. Res64: 45F9116B2F2E9443 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:23:38] 941*2^1251422-1 is not prime. Res64: 57646A5FEC52167F Time : 0.0 sec. user=mdettweiler [2013-08-21 18:24:11] 977*2^1251422-1 is not prime. Res64: 45D2C4428C3CE034 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:24:12] 615*2^1251423-1 is not prime. Res64: 4DEA5E89DF502225 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:24:30] 957*2^1251422-1 is not prime. Res64: 2EB7E4DA190434EC Time : 0.0 sec. user=mdettweiler [2013-08-21 18:24:31] 965*2^1251422-1 is not prime. Res64: 9D8DECC5E42E2409 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:34:37] 619*2^1251423-1 is not prime. Res64: 67A76F9F445E0038 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:34:38] 769*2^1251423-1 is not prime. Res64: 3996079541B13CE5 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:43:43] 823*2^1251423-1 is not prime. Res64: 8B730FA95F8AF1E8 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:43:44] 829*2^1251423-1 is not prime. Res64: 73CFA964C8561E3A Time : 0.0 sec. user=mdettweiler [2013-08-21 18:44:17] 605*2^1251424-1 is not prime. Res64: 2B7653532538F0D9 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:44:17] 609*2^1251424-1 is not prime. Res64: 5B61746232CEDD74 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:44:33] 629*2^1251424-1 is not prime. Res64: C1BE54416CDF3427 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:44:34] 677*2^1251424-1 is not prime. Res64: 4F490AE8437B6DFD Time : 0.0 sec. user=mdettweiler [2013-08-21 18:55:44] 897*2^1251424-1 is not prime. Res64: 80429D9FEFC110F6 Time : 0.0 sec. user=mdettweiler [2013-08-21 18:55:45] 789*2^1251425-1 is not prime. Res64: A410CB26E27B5EC1 Time : 0.0 sec. user=juhehe [2013-08-21 18:57:20] 781*2^1251423-1 is not prime. Res64: F8465F32612A8616 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:03:55] 861*2^1251425-1 is not prime. Res64: 7EE9D92BEC41BB73 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:03:57] 885*2^1251425-1 is not prime. Res64: 08E51108942371EC Time : 0.0 sec. user=mdettweiler [2013-08-21 19:05:22] 937*2^1251425-1 is not prime. Res64: 390B1E6A5251C52C Time : 0.0 sec. user=mdettweiler [2013-08-21 19:05:22] 893*2^1251426-1 is not prime. Res64: 63DF7152C8D4D9D4 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:05:41] 993*2^1251426-1 is not prime. Res64: 54CB7A5F993BFEAB Time : 0.0 sec. user=mdettweiler [2013-08-21 19:05:42] 645*2^1251427-1 is not prime. Res64: 2B9F4C2C9B729928 Time : 0.0 sec. user=juhehe [2013-08-21 19:08:32] 773*2^1251424-1 is not prime. Res64: CD68FBC7A9A9EB67 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:15:52] 705*2^1251427-1 is not prime. Res64: 8C456FD979FB2A6A Time : 0.0 sec. user=mdettweiler [2013-08-21 19:15:53] 793*2^1251427-1 is not prime. Res64: E7EED00CE7DF144E Time : 0.0 sec. user=mdettweiler [2013-08-21 19:24:24] 871*2^1251427-1 is not prime. Res64: AD624962C1A75EE7 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:24:25] 889*2^1251427-1 is not prime. Res64: 3A186A732AB11914 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:25:54] 855*2^1251428-1 is not prime. Res64: FDA6FBFA7011360D Time : 0.0 sec. user=mdettweiler [2013-08-21 19:25:55] 869*2^1251428-1 is not prime. Res64: 3EA687FB13DB76FD Time : 0.0 sec. user=mdettweiler [2013-08-21 19:26:31] 979*2^1251427-1 is not prime. Res64: 179335D2EBC73073 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:26:31] 635*2^1251428-1 is not prime. Res64: 4A1BE8782339B1A3 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:36:06] 649*2^1251429-1 is not prime. Res64: 10E9874A315544D9 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:36:06] 667*2^1251429-1 is not prime. Res64: 7BB5DA8A59B3C181 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:44:38] 669*2^1251429-1 is not prime. Res64: 8693C47E9D6741AC Time : 0.0 sec. user=mdettweiler [2013-08-21 19:44:38] 727*2^1251429-1 is not prime. Res64: 77E8ED1482BEBF46 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:46:38] 665*2^1251430-1 is not prime. Res64: E4057D680C2056B5 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:46:38] 731*2^1251430-1 is not prime. Res64: F6C96E026FC5E31F Time : 0.0 sec. user=mdettweiler [2013-08-21 19:46:57] 991*2^1251429-1 is not prime. Res64: B157693B6B90DE33 Time : 0.0 sec. user=mdettweiler [2013-08-21 19:46:58] 653*2^1251430-1 is not prime. Res64: 2C150B83AF598858 Time : 0.0 sec. user=juhehe [2013-08-21 19:54:40] 923*2^1251428-1 is not prime. Res64: FF1A0D85C60BD12D Time : 0.0 sec. user=mdettweiler [2013-08-21 19:56:10] 755*2^1251430-1 is not prime. Res64: 2B9D1FEE6DE0385E Time : 0.0 sec. user=mdettweiler [2013-08-21 19:56:11] 765*2^1251430-1 is not prime. Res64: 45DBB185F4F2CDEF Time : 0.0 sec. user=mdettweiler [2013-08-21 20:04:56] 785*2^1251430-1 is not prime. Res64: D95CE347808CC8E5 Time : 0.0 sec. user=mdettweiler [2013-08-21 20:04:58] 861*2^1251430-1 is not prime. Res64: FE96DAD238BBE66E Time : 0.0 sec. user=mdettweiler [2013-08-21 20:06:44] 867*2^1251430-1 is not prime. Res64: BF8AD6F5035BF008 Time : 0.0 sec. user=mdettweiler [2013-08-21 20:06:44] 885*2^1251430-1 is not prime. Res64: 896966923230321C Time : 0.0 sec. user=mdettweiler [2013-08-21 20:07:11] 615*2^1251431-1 is not prime. Res64: 5A2C77CB7D5F3DBC Time : 0.0 sec. user=mdettweiler [2013-08-21 20:07:12] 663*2^1251431-1 is not prime. Res64: 18D33603417201AA Time : 0.0 sec. user=mdettweiler [2013-08-21 20:16:21] 841*2^1251431-1 is not prime. Res64: CF12677925FF560C Time : 0.0 sec. user=mdettweiler [2013-08-21 20:16:21] 883*2^1251431-1 is not prime. Res64: E332CD24879C1553 Time : 0.0 sec. user=mdettweiler [2013-08-21 20:26:10] 879*2^1251432-1 is not prime. Res64: 4CB90E5D548C2363 Time : 0.0 sec. user=mdettweiler [2013-08-21 20:26:11] 935*2^1251432-1 is not prime. Res64: 8FB5A8C38D77CEC5 Time : 0.0 sec. user=mdettweiler [2013-08-21 20:27:20] 829*2^1251433-1 is not prime. Res64: 77E61C0FAFBE11DE Time : 0.0 sec. user=mdettweiler [2013-08-21 20:27:22] 615*2^1251434-1 is not prime. Res64: 20CFAF562966192D Time : 0.0 sec. user=mdettweiler [2013-08-21 20:27:48] 945*2^1251432-1 is not prime. Res64: 9122C8648C9ACBA1 Time : 0.0 sec. user=mdettweiler [2013-08-21 20:27:49] 609*2^1251433-1 is not prime. Res64: A0F933A61F0EA8A7 Time : 0.0 sec. user=juhehe [2013-08-21 20:35:46] 783*2^1251431-1 is not prime. Res64: E685038CD946BCE4 Time : 0.0 sec. user=mdettweiler [2013-08-21 20:36:35] 677*2^1251434-1 is not prime. Res64: 49DB38D4DD8DFFCD Time : 0.0 sec. user=mdettweiler [2013-08-21 20:36:35] 701*2^1251434-1 is not prime. Res64: BD60CD09CEF721A7 Time : 0.0 sec. user=mdettweiler [2013-08-21 20:46:27] 833*2^1251434-1 is not prime. Res64: DA55F239271861DE Time : 0.0 sec. user=mdettweiler [2013-08-21 20:46:28] 851*2^1251434-1 is not prime. Res64: 4B469E225A817255 Time : 0.0 sec. user=mdettweiler [2013-08-21 20:48:36] 983*2^1251434-1 is not prime. Res64: A54459A75B6A905B Time : 0.0 sec. user=mdettweiler [2013-08-21 20:48:36] 781*2^1251435-1 is not prime. Res64: 3E7ED75A99B6B218 Time : 0.0 sec. user=mdettweiler [2013-08-21 20:49:58] 895*2^1251435-1 is not prime. Res64: AE7E3A22DFC78D5A Time : 0.0 sec. user=mdettweiler [2013-08-21 20:49:59] 955*2^1251435-1 is not prime. Res64: E5278D5FC2B382C8 Time : 0.0 sec. user=mdettweiler [2013-08-21 20:56:41] 773*2^1251436-1 is not prime. Res64: 25B5DBE53E7744C9 Time : 0.0 sec. user=mdettweiler [2013-08-21 20:56:41] 855*2^1251436-1 is not prime. Res64: C6C119C679D5C555 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:06:31] 669*2^1251437-1 is not prime. Res64: 68E4805FEAED896F Time : 0.0 sec. user=mdettweiler [2013-08-21 21:06:32] 715*2^1251437-1 is not prime. Res64: F85A864F9492EBB5 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:08:38] 759*2^1251437-1 is not prime. Res64: 27A8969CDBB8BCD8 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:08:39] 837*2^1251437-1 is not prime. Res64: 07044EAB4F10B032 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:10:03] 871*2^1251437-1 is not prime. Res64: AC11E97BC5076056 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:10:04] 879*2^1251437-1 is not prime. Res64: F0687B3125D7DECC Time : 0.0 sec. user=mdettweiler [2013-08-21 21:16:47] 611*2^1251438-1 is not prime. Res64: 24441FCE8B727D02 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:16:48] 705*2^1251438-1 is not prime. Res64: CBA47FFA87511788 Time : 0.0 sec. user=juhehe [2013-08-21 21:16:51] 735*2^1251436-1 is not prime. Res64: 121FD7C6262EFBBE Time : 0.0 sec. user=mdettweiler [2013-08-21 21:26:53] 711*2^1251438-1 is not prime. Res64: E9038AF473484803 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:26:54] 747*2^1251438-1 is not prime. Res64: B5A738C50834E9B3 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:28:55] 755*2^1251438-1 is not prime. Res64: 9871270DDD089924 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:28:56] 801*2^1251438-1 is not prime. Res64: 98735EE3C1E72EAC Time : 0.0 sec. user=mdettweiler [2013-08-21 21:31:21] 887*2^1251438-1 is not prime. Res64: D48AD162C4F83EAE Time : 0.0 sec. user=mdettweiler [2013-08-21 21:31:22] 915*2^1251438-1 is not prime. Res64: 9F2FC447FFFA661C Time : 0.0 sec. user=mdettweiler [2013-08-21 21:37:55] 927*2^1251438-1 is not prime. Res64: F7BA3C68D35170A9 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:37:56] 649*2^1251439-1 is not prime. Res64: 1BA98E214D1573DF Time : 0.0 sec. user=mdettweiler [2013-08-21 21:47:08] 789*2^1251439-1 is not prime. Res64: 9D5E9B830494307A Time : 0.0 sec. user=mdettweiler [2013-08-21 21:47:09] 855*2^1251439-1 is not prime. Res64: 3F25D92EC0DAE16F Time : 0.0 sec. user=mdettweiler [2013-08-21 21:51:04] 913*2^1251439-1 is not prime. Res64: A3D5541798F7E3C1 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:51:05] 933*2^1251439-1 is not prime. Res64: AEF9D63740371472 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:51:35] 677*2^1251440-1 is not prime. Res64: 1C47A44F41515408 Time : 0.0 sec. user=mdettweiler [2013-08-21 21:51:36] 713*2^1251440-1 is not prime. Res64: D76B7F8E28A24EB2 Time : 0.0 sec. user=juhehe [2013-08-21 21:57:56] 685*2^1251439-1 is not prime. Res64: 8E43EA6499C848E1 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:00:03] 909*2^1251440-1 is not prime. Res64: 36C2E1E40456F7E8 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:00:04] 945*2^1251440-1 is not prime. Res64: 0790264F01A91320 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:07:16] 679*2^1251441-1 is not prime. Res64: 7E656A0908F47A9B Time : 0.0 sec. user=mdettweiler [2013-08-21 22:07:16] 727*2^1251441-1 is not prime. Res64: 19C27300712DD733 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:11:44] 611*2^1251442-1 is not prime. Res64: F6A78818A67A38FB Time : 0.0 sec. user=mdettweiler [2013-08-21 22:11:45] 645*2^1251442-1 is not prime. Res64: 6FA3920E135FDDC5 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:13:12] 991*2^1251441-1 is not prime. Res64: C4F4A2DA87B0A8CE Time : 0.0 sec. user=mdettweiler [2013-08-21 22:13:13] 997*2^1251441-1 is not prime. Res64: 09891A185351C33D Time : 0.0 sec. user=mdettweiler [2013-08-21 22:20:09] 821*2^1251442-1 is not prime. Res64: C8CC229C68C7D951 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:20:10] 827*2^1251442-1 is not prime. Res64: 954352737DB53113 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:28:24] 621*2^1251443-1 is not prime. Res64: E9ED54EDE650FCBD Time : 0.0 sec. user=mdettweiler [2013-08-21 22:28:25] 915*2^1251443-1 is not prime. Res64: AD3C27590E27C349 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:33:25] 657*2^1251444-1 is not prime. Res64: 54DE0687AA835172 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:33:25] 689*2^1251444-1 is not prime. Res64: A849B4EB1C49784F Time : 0.0 sec. user=mdettweiler [2013-08-21 22:33:51] 963*2^1251443-1 is not prime. Res64: 14FC5A332F516027 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:33:51] 985*2^1251443-1 is not prime. Res64: 033B2BE69E017633 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:40:16] 693*2^1251444-1 is not prime. Res64: 5A8361A2A7609716 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:40:16] 789*2^1251444-1 is not prime. Res64: C503A42D740625AD Time : 0.0 sec. user=mdettweiler [2013-08-21 22:48:37] 803*2^1251444-1 is not prime. Res64: 16653B262DDE6705 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:48:37] 809*2^1251444-1 is not prime. Res64: DCA05E916B19E3C0 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:54:56] 983*2^1251444-1 is not prime. Res64: 5D4866606861A5AB Time : 0.0 sec. user=mdettweiler [2013-08-21 22:54:56] 625*2^1251445-1 is not prime. Res64: 56867148CD7B350B Time : 0.0 sec. user=mdettweiler [2013-08-21 22:55:34] 965*2^1251444-1 is not prime. Res64: D866A5DDE9BB4434 Time : 0.0 sec. user=mdettweiler [2013-08-21 22:55:35] 975*2^1251444-1 is not prime. Res64: 6A7FC60B82C05A99 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:00:23] 805*2^1251445-1 is not prime. Res64: 94D8AE1300F86EBA Time : 0.0 sec. user=mdettweiler [2013-08-21 23:00:25] 861*2^1251445-1 is not prime. Res64: C55C4AC2D3F98D71 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:10:38] 895*2^1251445-1 is not prime. Res64: F36F1BBAA2B6BDB7 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:10:39] 985*2^1251445-1 is not prime. Res64: CA829846DD6D6EAF Time : 0.0 sec. user=mdettweiler [2013-08-21 23:15:12] 663*2^1251446-1 is not prime. Res64: B1B149D472BC578B Time : 0.0 sec. user=mdettweiler [2013-08-21 23:15:12] 713*2^1251446-1 is not prime. Res64: 1D8812FA22165623 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:16:41] 785*2^1251446-1 is not prime. Res64: 20F8187DF6BECC18 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:16:42] 911*2^1251446-1 is not prime. Res64: E34DF90873E5B02A Time : 0.0 sec. user=mdettweiler [2013-08-21 23:20:34] 615*2^1251447-1 is not prime. Res64: 47D449752FCA51FD Time : 0.0 sec. user=mdettweiler [2013-08-21 23:20:34] 691*2^1251447-1 is not prime. Res64: 48B5B60345B32CE3 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:30:50] 805*2^1251447-1 is not prime. Res64: DD5D9D42479AE969 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:30:50] 861*2^1251447-1 is not prime. Res64: E42DE4859B970166 Time : 0.0 sec. user=juhehe [2013-08-21 23:31:17] 641*2^1251446-1 is not prime. Res64: 23DFFCBAE06754E6 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:36:27] 895*2^1251447-1 is not prime. Res64: 60A9237AD6FA9998 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:36:28] 639*2^1251448-1 is not prime. Res64: CB7450F290449B12 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:36:49] 657*2^1251448-1 is not prime. Res64: 1CCC703BD6F39EAE Time : 0.0 sec. user=mdettweiler [2013-08-21 23:36:50] 825*2^1251448-1 is not prime. Res64: 3B310706D37B9978 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:41:47] 691*2^1251449-1 is not prime. Res64: 2EE6B4BC913C7A87 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:41:48] 949*2^1251449-1 is not prime. Res64: CAE6F21D8C9F308B Time : 0.0 sec. user=mdettweiler [2013-08-21 23:52:56] 967*2^1251449-1 is not prime. Res64: 34FF541CA5705098 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:52:57] 991*2^1251449-1 is not prime. Res64: C34E5F933E17E6FC Time : 0.0 sec. user=mdettweiler [2013-08-21 23:56:34] 633*2^1251450-1 is not prime. Res64: CE4FC046D492DD52 Time : 0.0 sec. user=mdettweiler [2013-08-21 23:56:34] 725*2^1251450-1 is not prime. Res64: 5AA41A5FE9EAABCB Time : 0.0 sec. user=mdettweiler [2013-08-21 23:57:02] 845*2^1251450-1 is not prime. Res64: 85D2DEF61260C0AA Time : 0.0 sec. user=mdettweiler [2013-08-21 23:57:02] 851*2^1251450-1 is not prime. Res64: A07981F73A6F3A18 Time : 0.0 sec.