user=mdettweiler [2015-06-28 00:07:27] 651*2^1401575-1 is not prime. Res64: 3F980E8A8B936527 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:07:27] 731*2^1401574-1 is not prime. Res64: F965403280F0EBA5 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:07:28] 661*2^1401575-1 is not prime. Res64: 1B47A514C802E4BE Time : 0.0 sec. user=mdettweiler [2015-06-28 00:07:28] 619*2^1401575-1 is not prime. Res64: 9505273EABA5E513 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:10:18] 759*2^1401575-1 is not prime. Res64: 1E8EB1048AB99CCF Time : 0.0 sec. user=mdettweiler [2015-06-28 00:10:18] 799*2^1401575-1 is not prime. Res64: C17E279EF29CB64F Time : 0.0 sec. user=juhehe [2015-06-28 00:22:43] 621*2^1401574-1 is not prime. Res64: 852528F24A622DB1 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:24:55] 861*2^1401575-1 is not prime. Res64: 8F1241A421044707 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:24:55] 669*2^1401576-1 is not prime. Res64: 73DB57DA994189BB Time : 0.0 sec. user=mdettweiler [2015-06-28 00:24:56] 973*2^1401575-1 is not prime. Res64: D1ED1022A922D824 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:24:56] 767*2^1401576-1 is not prime. Res64: 84BEFD34AEAD6244 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:27:37] 867*2^1401576-1 is not prime. Res64: 3A2D521C2F050163 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:27:37] 873*2^1401576-1 is not prime. Res64: 6F8BBA48301C3E73 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:42:17] 831*2^1401577-1 is not prime. Res64: 76DA41E7A58394C3 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:42:17] 919*2^1401577-1 is not prime. Res64: C90559533F82001B Time : 0.0 sec. user=mdettweiler [2015-06-28 00:42:21] 993*2^1401576-1 is not prime. Res64: 0A9A7DAB9BCC88E7 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:42:21] 729*2^1401577-1 is not prime. Res64: B087EB24D63C8D9E Time : 0.0 sec. user=mdettweiler [2015-06-28 00:44:55] 623*2^1401578-1 is not prime. Res64: 9D337ACF8C2B23AB Time : 0.0 sec. user=mdettweiler [2015-06-28 00:44:55] 633*2^1401578-1 is not prime. Res64: 13DB8E9508E5C813 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:59:34] 657*2^1401578-1 is not prime. Res64: A9653614162A546E Time : 0.0 sec. user=mdettweiler [2015-06-28 00:59:34] 731*2^1401578-1 is not prime. Res64: BC551415889286B2 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:59:38] 911*2^1401578-1 is not prime. Res64: 0F8B9B1D604DAFD4 Time : 0.0 sec. user=mdettweiler [2015-06-28 00:59:38] 921*2^1401578-1 is not prime. Res64: B5EC9406AD6B2250 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:02:13] 609*2^1401579-1 is not prime. Res64: 7C87A2D131E7A946 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:02:14] 615*2^1401579-1 is not prime. Res64: 414E86444406A25A Time : 0.0 sec. user=mdettweiler [2015-06-28 01:16:52] 669*2^1401579-1 is not prime. Res64: 92AE7A3976FF4BBA Time : 0.0 sec. user=mdettweiler [2015-06-28 01:16:53] 709*2^1401579-1 is not prime. Res64: D7EF5C72936ADE87 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:16:56] 801*2^1401579-1 is not prime. Res64: 9580557A24F4FB01 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:16:56] 829*2^1401579-1 is not prime. Res64: F22AA7C817385751 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:19:42] 955*2^1401579-1 is not prime. Res64: C6661239FA39F4E9 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:19:42] 973*2^1401579-1 is not prime. Res64: 75320064C3183F9D Time : 0.0 sec. user=mdettweiler [2015-06-28 01:34:15] 695*2^1401580-1 is not prime. Res64: 993C86C1C7B2248E Time : 0.0 sec. user=mdettweiler [2015-06-28 01:34:15] 699*2^1401580-1 is not prime. Res64: 266E4978EFF10989 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:34:15] 629*2^1401580-1 is not prime. Res64: 745329810FB095A6 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:34:16] 687*2^1401580-1 is not prime. Res64: 331DD53A294AC9DF Time : 0.0 sec. user=mdettweiler [2015-06-28 01:36:59] 765*2^1401580-1 is not prime. Res64: 7D4E3636C8A26EE6 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:36:59] 813*2^1401580-1 is not prime. Res64: 52E6287BDF7F8E47 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:51:36] 819*2^1401580-1 is not prime. Res64: D7EADA2AB4D7A267 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:51:37] 875*2^1401580-1 is not prime. Res64: 32958ADE8058CDF6 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:51:37] 995*2^1401580-1 is not prime. Res64: 1058BB20092647B0 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:51:38] 651*2^1401581-1 is not prime. Res64: 59369D28BF5E3EA9 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:54:17] 715*2^1401581-1 is not prime. Res64: 3C30545694EE1236 Time : 0.0 sec. user=mdettweiler [2015-06-28 01:54:17] 727*2^1401581-1 is not prime. Res64: 385823E4EE0948DC Time : 0.0 sec. user=mdettweiler [2015-06-28 02:08:54] 801*2^1401581-1 is not prime. Res64: 1BF1A9C8316540CC Time : 0.0 sec. user=mdettweiler [2015-06-28 02:08:54] 861*2^1401581-1 is not prime. Res64: 99D361CF06B87666 Time : 0.0 sec. user=mdettweiler [2015-06-28 02:08:55] 879*2^1401581-1 is not prime. Res64: E5605E8F5D58B786 Time : 0.0 sec. user=mdettweiler [2015-06-28 02:08:56] 925*2^1401581-1 is not prime. Res64: 308D17C0654B081F Time : 0.0 sec. user=mdettweiler [2015-06-28 02:11:34] 657*2^1401582-1 is not prime. Res64: 052B1DF749157A33 Time : 0.0 sec. user=mdettweiler [2015-06-28 02:11:35] 705*2^1401582-1 is not prime. Res64: 9F7FAAAD9B2DDA61 Time : 0.0 sec. user=mdettweiler [2015-06-28 02:26:16] 633*2^1401583-1 is not prime. Res64: 82A4772C882B132C Time : 0.0 sec. user=mdettweiler [2015-06-28 02:26:16] 747*2^1401582-1 is not prime. Res64: 4CB6021FD7EDFBE3 Time : 0.0 sec. user=mdettweiler [2015-06-28 02:26:17] 723*2^1401583-1 is not prime. Res64: 1A2CFABDD9BD480C Time : 0.0 sec. user=mdettweiler [2015-06-28 02:26:17] 765*2^1401582-1 is not prime. Res64: 2F03E9925D1BE657 Time : 0.0 sec. user=mdettweiler [2015-06-28 02:28:51] 783*2^1401583-1 is not prime. Res64: FA82C835672117FE Time : 0.0 sec. user=mdettweiler [2015-06-28 02:28:52] 861*2^1401583-1 is not prime. Res64: 3358335F3C9BB55F Time : 0.0 sec. user=juhehe [2015-06-28 02:40:17] 723*2^1401582-1 is not prime. Res64: E817CBC537DDA48C Time : 0.0 sec. user=mdettweiler [2015-06-28 02:43:39] 873*2^1401583-1 is not prime. Res64: 387F13CED4F715D6 Time : 0.0 sec. user=mdettweiler [2015-06-28 02:43:39] 933*2^1401583-1 is not prime. Res64: C722076800E80937 Time : 0.0 sec. user=mdettweiler [2015-06-28 02:43:41] 615*2^1401584-1 is not prime. Res64: 5DA4FCB2894DCFF1 Time : 0.0 sec. user=mdettweiler [2015-06-28 02:43:41] 743*2^1401584-1 is not prime. Res64: 256BA44F73CFF5E4 Time : 0.0 sec. user=mdettweiler [2015-06-28 02:46:18] 753*2^1401584-1 is not prime. Res64: E346A5099829DC5F Time : 0.0 sec. user=mdettweiler [2015-06-28 02:46:18] 773*2^1401584-1 is not prime. Res64: 3E9915C5285163E2 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:00:57] 789*2^1401584-1 is not prime. Res64: 889AD7094CDA040A Time : 0.0 sec. user=mdettweiler [2015-06-28 03:00:58] 923*2^1401584-1 is not prime. Res64: 19E426CC45BBFC01 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:00:59] 657*2^1401585-1 is not prime. Res64: 74D8BB903E0CC015 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:01:00] 735*2^1401585-1 is not prime. Res64: EFBF35606FBF1E90 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:03:35] 789*2^1401585-1 is not prime. Res64: 75469815588AA1BC Time : 0.0 sec. user=mdettweiler [2015-06-28 03:03:37] 847*2^1401585-1 is not prime. Res64: 179FCF855CCC7910 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:18:24] 861*2^1401585-1 is not prime. Res64: C3F8B4B8BA6D55CA Time : 0.0 sec. user=mdettweiler [2015-06-28 03:18:24] 921*2^1401585-1 is not prime. Res64: C77E8D83365B0D73 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:18:25] 955*2^1401585-1 is not prime. Res64: B6CC64F3DA1E1FE6 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:18:25] 735*2^1401586-1 is not prime. Res64: 7E7F56F0E9D522A0 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:20:54] 755*2^1401586-1 is not prime. Res64: 195E58EF8BD411A7 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:20:54] 833*2^1401586-1 is not prime. Res64: 8AC672C05D15140A Time : 0.0 sec. user=mdettweiler [2015-06-28 03:35:42] 843*2^1401586-1 is not prime. Res64: B8ED4A6E68548748 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:35:43] 983*2^1401586-1 is not prime. Res64: 32FE3B3BC4FB6EF0 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:35:44] 669*2^1401587-1 is not prime. Res64: 8C49B24C9B04FA69 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:35:45] 693*2^1401587-1 is not prime. Res64: 72386C80AF207750 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:38:10] 711*2^1401587-1 is not prime. Res64: A4F7286F55495CBE Time : 0.0 sec. user=mdettweiler [2015-06-28 03:38:11] 733*2^1401587-1 is not prime. Res64: 3F106F6CED1A5C9D Time : 0.0 sec. user=mdettweiler [2015-06-28 03:53:24] 841*2^1401587-1 is not prime. Res64: 4726E971444BCCE1 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:53:24] 903*2^1401587-1 is not prime. Res64: CE239278E53718F5 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:53:26] 991*2^1401587-1 is not prime. Res64: C5A73362BEE5CDC7 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:53:26] 605*2^1401588-1 is not prime. Res64: 54F3F2C30AE5ABBB Time : 0.0 sec. user=mdettweiler [2015-06-28 03:55:28] 627*2^1401588-1 is not prime. Res64: 16462A25AE130BD6 Time : 0.0 sec. user=mdettweiler [2015-06-28 03:55:29] 705*2^1401588-1 is not prime. Res64: 6107DFC500912E67 Time : 0.0 sec. user=mdettweiler [2015-06-28 04:10:49] 929*2^1401588-1 is not prime. Res64: 0579F0FD6A94EA72 Time : 0.0 sec. user=mdettweiler [2015-06-28 04:10:50] 737*2^1401588-1 is not prime. Res64: A08159AA5C504471 Time : 0.0 sec. user=mdettweiler [2015-06-28 04:10:50] 625*2^1401589-1 is not prime. Res64: 6AB9E97E9F59BE54 Time : 0.0 sec. user=mdettweiler [2015-06-28 04:10:50] 767*2^1401588-1 is not prime. Res64: C6359571F6F3F391 Time : 0.0 sec. user=mdettweiler [2015-06-28 04:12:52] 667*2^1401589-1 is not prime. Res64: 173186293E6A61F6 Time : 0.0 sec. user=mdettweiler [2015-06-28 04:12:52] 741*2^1401589-1 is not prime. Res64: F78AA988069D9160 Time : 0.0 sec. user=mdettweiler [2015-06-28 04:28:12] 603*2^1401590-1 is not prime. Res64: 2DE988A2D842BFFC Time : 0.0 sec. user=mdettweiler [2015-06-28 04:28:12] 747*2^1401589-1 is not prime. Res64: 4E187FDA71569F7A Time : 0.0 sec. user=mdettweiler [2015-06-28 04:28:13] 675*2^1401590-1 is not prime. Res64: 8461F1C72677BF27 Time : 0.0 sec. user=mdettweiler [2015-06-28 04:28:13] 975*2^1401589-1 is not prime. Res64: D2BED94CC8E8C6DB Time : 0.0 sec. user=mdettweiler [2015-06-28 04:30:08] 851*2^1401590-1 is not prime. Res64: 0D344DE770A13E3D Time : 0.0 sec. user=mdettweiler [2015-06-28 04:30:09] 945*2^1401590-1 is not prime. Res64: 6723B90E9FB0D38E Time : 0.0 sec. user=mdettweiler [2015-06-28 04:45:31] 661*2^1401591-1 is not prime. Res64: 3EF4768C6456A667 Time : 0.0 sec. user=mdettweiler [2015-06-28 04:45:31] 691*2^1401591-1 is not prime. Res64: A34D331F667926EF Time : 0.0 sec. user=mdettweiler [2015-06-28 04:45:31] 739*2^1401591-1 is not prime. Res64: C9205AA54B111136 Time : 0.0 sec. user=mdettweiler [2015-06-28 04:45:32] 825*2^1401591-1 is not prime. Res64: 44CA454FB7C9AE22 Time : 0.0 sec. user=mdettweiler [2015-06-28 04:47:26] 665*2^1401592-1 is not prime. Res64: 11C45967DE22EAF9 Time : 0.0 sec. user=mdettweiler [2015-06-28 04:47:26] 675*2^1401592-1 is not prime. Res64: 17212CEFD298579B Time : 0.0 sec. user=mdettweiler [2015-06-28 05:02:49] 797*2^1401592-1 is not prime. Res64: F8A49241E0B154C2 Time : 0.0 sec. user=mdettweiler [2015-06-28 05:02:51] 855*2^1401592-1 is not prime. Res64: 16CD463B5841C11F Time : 0.0 sec. user=mdettweiler [2015-06-28 05:02:52] 619*2^1401593-1 is not prime. Res64: 676489C95878C0F0 Time : 0.0 sec. user=mdettweiler [2015-06-28 05:02:54] 631*2^1401593-1 is not prime. Res64: 5ADE8429E96A1C1C Time : 0.0 sec. user=mdettweiler [2015-06-28 05:04:44] 747*2^1401593-1 is not prime. Res64: DAFBD49E031BE6F0 Time : 0.0 sec. user=mdettweiler [2015-06-28 05:04:47] 831*2^1401593-1 is not prime. Res64: 4D25577F1E89DF93 Time : 0.0 sec. user=S_K_ [2015-06-28 05:07:13] 719*2^1401592-1 is not prime. Res64: AAD89C7D97AB769A Time : 0.0 sec. user=juhehe [2015-06-28 05:08:23] 625*2^1401591-1 is not prime. Res64: 7849E6F046C96AFF Time : 0.0 sec. user=mdettweiler [2015-06-28 05:20:50] 847*2^1401593-1 is not prime. Res64: 1FD1CFF3958F3E55 Time : 0.0 sec. user=mdettweiler [2015-06-28 05:20:50] 981*2^1401593-1 is not prime. Res64: CB3A64A91F977327 Time : 0.0 sec. user=mdettweiler [2015-06-28 05:20:52] 621*2^1401594-1 is not prime. Res64: F68E5EAAD5985A6F Time : 0.0 sec. user=mdettweiler [2015-06-28 05:20:53] 747*2^1401594-1 is not prime. Res64: 7DBF0567FB35B3C8 Time : 0.0 sec. user=mdettweiler [2015-06-28 05:22:08] 765*2^1401594-1 is not prime. Res64: 3DD53D039B6C7E9E Time : 0.0 sec. user=mdettweiler [2015-06-28 05:22:08] 767*2^1401594-1 is not prime. Res64: DBE1410CC5C9F84E Time : 0.0 sec. user=mdettweiler [2015-06-28 05:38:10] 945*2^1401594-1 is not prime. Res64: 830D394C8DF2050B Time : 0.0 sec. user=mdettweiler [2015-06-28 05:38:10] 791*2^1401594-1 is not prime. Res64: CC4CABDA711B2C40 Time : 0.0 sec. user=mdettweiler [2015-06-28 05:38:10] 1001*2^1401594-1 is not prime. Res64: AD258C8FEA92A545 Time : 0.0 sec. user=mdettweiler [2015-06-28 05:38:10] 851*2^1401594-1 is not prime. Res64: 53C1C05A0E56861B Time : 0.0 sec. user=mdettweiler [2015-06-28 05:39:25] 601*2^1401595-1 is not prime. Res64: 7B13BBD0CA5E11C3 Time : 0.0 sec. user=mdettweiler [2015-06-28 05:39:25] 619*2^1401595-1 is not prime. Res64: 91268BB4346D4EEB Time : 0.0 sec. user=S_K_ [2015-06-28 05:43:06] 783*2^1401594-1 is not prime. Res64: 90EE033358BDD7F0 Time : 0.0 sec. user=mdettweiler [2015-06-28 05:55:28] 789*2^1401595-1 is not prime. Res64: BA004E7D96C646C4 Time : 0.0 sec. user=mdettweiler [2015-06-28 05:55:28] 849*2^1401595-1 is not prime. Res64: 327D4B2D1B45B21F Time : 0.0 sec. user=mdettweiler [2015-06-28 05:55:29] 861*2^1401595-1 is not prime. Res64: 3B6BDFDFB4986E6F Time : 0.0 sec. user=mdettweiler [2015-06-28 05:55:30] 961*2^1401595-1 is not prime. Res64: BEB464145521BDAB Time : 0.0 sec. user=mdettweiler [2015-06-28 05:56:45] 973*2^1401595-1 is not prime. Res64: AB6914F32C43DD9A Time : 0.0 sec. user=mdettweiler [2015-06-28 05:56:46] 629*2^1401596-1 is not prime. Res64: CC48AEF86A9831EB Time : 0.0 sec. user=mdettweiler [2015-06-28 06:12:46] 749*2^1401596-1 is not prime. Res64: 3E410296BEF3FE25 Time : 0.0 sec. user=mdettweiler [2015-06-28 06:12:47] 827*2^1401596-1 is not prime. Res64: 860027E5F0FA055F Time : 0.0 sec. user=mdettweiler [2015-06-28 06:12:47] 639*2^1401597-1 is not prime. Res64: 16A205D4FF006063 Time : 0.0 sec. user=mdettweiler [2015-06-28 06:12:48] 675*2^1401597-1 is not prime. Res64: 1C557B55A23C6E54 Time : 0.0 sec. user=mdettweiler [2015-06-28 06:14:06] 819*2^1401597-1 is not prime. Res64: C4DECF999DA07A16 Time : 0.0 sec. user=mdettweiler [2015-06-28 06:14:06] 895*2^1401597-1 is not prime. Res64: 6EC809CCEACDAA3E Time : 0.0 sec. user=juhehe [2015-06-28 06:28:04] 675*2^1401596-1 is not prime. Res64: FE6ABF5DA6E5F8C9 Time : 0.0 sec. user=mdettweiler [2015-06-28 06:30:10] 761*2^1401598-1 is not prime. Res64: ECA0B4DC7086396C Time : 0.0 sec. user=mdettweiler [2015-06-28 06:30:10] 663*2^1401598-1 is not prime. Res64: 582EBD426A2B9235 Time : 0.0 sec. user=mdettweiler [2015-06-28 06:30:10] 843*2^1401598-1 is not prime. Res64: 9C4EE002E4576A2F Time : 0.0 sec. user=mdettweiler [2015-06-28 06:30:11] 681*2^1401598-1 is not prime. Res64: BFF732AC8980B9AD Time : 0.0 sec. user=mdettweiler [2015-06-28 06:31:24] 933*2^1401598-1 is not prime. Res64: 2F35505EFA6A172E Time : 0.0 sec. user=mdettweiler [2015-06-28 06:31:25] 975*2^1401598-1 is not prime. Res64: 22E52A5E313EFEB8 Time : 0.0 sec. user=mdettweiler [2015-06-28 06:47:30] 981*2^1401598-1 is not prime. Res64: 70362B07ED63B894 Time : 0.0 sec. user=mdettweiler [2015-06-28 06:47:30] 615*2^1401599-1 is not prime. Res64: 4249746422836789 Time : 0.0 sec. user=mdettweiler [2015-06-28 06:47:34] 693*2^1401599-1 is not prime. Res64: DF474BCFF9F3FA5F Time : 0.0 sec. user=mdettweiler [2015-06-28 06:47:34] 741*2^1401599-1 is not prime. Res64: 52FF09BEDED7B5AC Time : 0.0 sec. user=mdettweiler [2015-06-28 06:48:46] 889*2^1401599-1 is not prime. Res64: A57D0B70A5C5A322 Time : 0.0 sec. user=mdettweiler [2015-06-28 06:48:46] 993*2^1401599-1 is not prime. Res64: 30F6223C24CD24F9 Time : 0.0 sec. user=S_K_ [2015-06-28 06:57:53] 743*2^1401596-1 is not prime. Res64: A8E8B9671C4B07B9 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:04:48] 845*2^1401600-1 is not prime. Res64: 612F1DB7FE7F5372 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:04:49] 675*2^1401601-1 is not prime. Res64: 46C72EEDB9FB16E3 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:04:52] 687*2^1401601-1 is not prime. Res64: 0812BDD152B626F7 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:04:54] 747*2^1401601-1 is not prime. Res64: 15A4FBBC3831F5A1 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:06:04] 889*2^1401601-1 is not prime. Res64: 130E17F9D28DD898 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:06:04] 945*2^1401601-1 is not prime. Res64: 7067D452B21ED8F1 Time : 0.0 sec. user=juhehe [2015-06-28 07:16:41] 819*2^1401600-1 is not prime. Res64: 319D2CCDA3DCC97A Time : 0.0 sec. user=mdettweiler [2015-06-28 07:22:08] 987*2^1401601-1 is not prime. Res64: B0ACA05C99762C3E Time : 0.0 sec. user=mdettweiler [2015-06-28 07:22:09] 677*2^1401602-1 is not prime. Res64: E741B119F891A351 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:22:14] 801*2^1401602-1 is not prime. Res64: 8634F49ECA13A7B0 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:22:14] 827*2^1401602-1 is not prime. Res64: 5E72550BFD8897DD Time : 0.0 sec. user=mdettweiler [2015-06-28 07:23:22] 837*2^1401602-1 is not prime. Res64: CF232C377157E77F Time : 0.0 sec. user=mdettweiler [2015-06-28 07:23:22] 923*2^1401602-1 is not prime. Res64: 80711CED53342603 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:39:27] 995*2^1401602-1 is not prime. Res64: D8B11E22BA5B9E97 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:39:27] 1001*2^1401602-1 is not prime. Res64: F6624B81D6E91F24 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:39:32] 643*2^1401603-1 is not prime. Res64: 651FA19797A65829 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:39:33] 735*2^1401603-1 is not prime. Res64: 530EE4517331AE1E Time : 0.0 sec. user=mdettweiler [2015-06-28 07:40:40] 793*2^1401603-1 is not prime. Res64: 34441661B7974F23 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:40:41] 885*2^1401603-1 is not prime. Res64: F262DAFD98109712 Time : 0.0 sec. user=S_K_ [2015-06-28 07:52:38] 955*2^1401601-1 is not prime. Res64: D518133174661AAB Time : 0.0 sec. user=mdettweiler [2015-06-28 07:56:47] 657*2^1401604-1 is not prime. Res64: 5EEE0FD71D10C5BA Time : 0.0 sec. user=mdettweiler [2015-06-28 07:56:47] 665*2^1401604-1 is not prime. Res64: 4177B44A2F7ED006 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:56:50] 749*2^1401604-1 is not prime. Res64: F4180A9721818FFD Time : 0.0 sec. user=mdettweiler [2015-06-28 07:56:51] 785*2^1401604-1 is not prime. Res64: F09607C62294AC68 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:58:01] 855*2^1401604-1 is not prime. Res64: A64E375537E166E3 Time : 0.0 sec. user=mdettweiler [2015-06-28 07:58:01] 869*2^1401604-1 is not prime. Res64: 9C74206AAD62A25A Time : 0.0 sec. user=mdettweiler [2015-06-28 08:14:05] 717*2^1401605-1 is not prime. Res64: B18EAB5546208B6B Time : 0.0 sec. user=mdettweiler [2015-06-28 08:14:06] 757*2^1401605-1 is not prime. Res64: 07DF62E640361DE7 Time : 0.0 sec. user=mdettweiler [2015-06-28 08:14:08] 837*2^1401605-1 is not prime. Res64: 1047C96CB70BBEE2 Time : 0.0 sec. user=mdettweiler [2015-06-28 08:14:08] 847*2^1401605-1 is not prime. Res64: 6F9CD64832754566 Time : 0.0 sec. user=mdettweiler [2015-06-28 08:15:22] 957*2^1401605-1 is not prime. Res64: 3E14FCF298928519 Time : 0.0 sec. user=mdettweiler [2015-06-28 08:15:23] 657*2^1401606-1 is not prime. Res64: 0F7CFF523328D1DE Time : 0.0 sec. user=mdettweiler [2015-06-28 08:31:25] 725*2^1401606-1 is not prime. Res64: 09FEF350783B5B2A Time : 0.0 sec. user=mdettweiler [2015-06-28 08:31:26] 947*2^1401606-1 is not prime. Res64: 2807B8DD4364ED18 Time : 0.0 sec. user=mdettweiler [2015-06-28 08:31:26] 933*2^1401606-1 is not prime. Res64: 379A01860C9F41AB Time : 0.0 sec. user=mdettweiler [2015-06-28 08:31:26] 971*2^1401606-1 is not prime. Res64: 0D190619A0453BC0 Time : 0.0 sec. user=mdettweiler [2015-06-28 08:32:40] 975*2^1401606-1 is not prime. Res64: 58A1195ED624E60D Time : 0.0 sec. user=mdettweiler [2015-06-28 08:32:40] 619*2^1401607-1 is not prime. Res64: E37801D264043184 Time : 0.0 sec. user=mdettweiler [2015-06-28 08:48:44] 693*2^1401607-1 is not prime. Res64: 16C6FEED4074C7FA Time : 0.0 sec. user=mdettweiler [2015-06-28 08:48:44] 729*2^1401607-1 is not prime. Res64: C66046EF6BA807A0 Time : 0.0 sec. user=mdettweiler [2015-06-28 08:48:46] 841*2^1401607-1 is not prime. Res64: D1DB6AB8A4598217 Time : 0.0 sec. user=mdettweiler [2015-06-28 08:48:46] 859*2^1401607-1 is not prime. Res64: 794025439EB42396 Time : 0.0 sec. user=mdettweiler [2015-06-28 08:49:57] 873*2^1401607-1 is not prime. Res64: 36844A4795DC0882 Time : 0.0 sec. user=mdettweiler [2015-06-28 08:49:58] 889*2^1401607-1 is not prime. Res64: 3EE27EE8FAE4C204 Time : 0.0 sec. user=S_K_ [2015-06-28 09:00:11] 657*2^1401605-1 is not prime. Res64: 40EC1588DC15088C Time : 0.0 sec. user=mdettweiler [2015-06-28 09:06:03] 975*2^1401607-1 is not prime. Res64: 2BAF2FEADF6A9CC1 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:06:04] 657*2^1401608-1 is not prime. Res64: AD733C41610C0345 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:06:04] 755*2^1401608-1 is not prime. Res64: 80801A685E340072 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:06:04] 929*2^1401608-1 is not prime. Res64: 15CF09528C652BA9 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:07:16] 609*2^1401609-1 is not prime. Res64: CF607A4559F9D062 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:07:17] 745*2^1401609-1 is not prime. Res64: 2009A93A585BFDC0 Time : 0.0 sec. user=juhehe [2015-06-28 09:12:08] 925*2^1401607-1 is not prime. Res64: D12F7C47092D91A5 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:23:25] 909*2^1401609-1 is not prime. Res64: E168DC644AF68FE4 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:23:25] 919*2^1401609-1 is not prime. Res64: 84AB704D2FA242A3 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:23:26] 945*2^1401609-1 is not prime. Res64: 8418A1E7F41851AD Time : 0.0 sec. user=mdettweiler [2015-06-28 09:23:26] 969*2^1401609-1 is not prime. Res64: 0FC4B5EE68188A5D Time : 0.0 sec. user=mdettweiler [2015-06-28 09:24:37] 987*2^1401609-1 is not prime. Res64: E2421D8D0F940A76 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:24:37] 999*2^1401609-1 is not prime. Res64: 8A9F62AA1B34823C Time : 0.0 sec. user=mdettweiler [2015-06-28 09:40:46] 765*2^1401610-1 is not prime. Res64: 4B665FC06DC96673 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:40:46] 687*2^1401610-1 is not prime. Res64: AD4303337F4EF3F0 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:40:46] 857*2^1401610-1 is not prime. Res64: 0438A33ADEDB617B Time : 0.0 sec. user=mdettweiler [2015-06-28 09:40:46] 723*2^1401610-1 is not prime. Res64: 8342CEC8E29C2CA0 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:41:56] 911*2^1401610-1 is not prime. Res64: 6466463FB721BA2A Time : 0.0 sec. user=mdettweiler [2015-06-28 09:41:57] 615*2^1401611-1 is not prime. Res64: 5259799C8731DA48 Time : 0.0 sec. user=S_K_ [2015-06-28 09:52:53] 811*2^1401609-1 is not prime. Res64: 9EFBF3C1596EC9A5 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:58:04] 651*2^1401611-1 is not prime. Res64: 725001ABA1BE9BC0 Time : 0.0 sec. user=mdettweiler [2015-06-28 09:58:05] 705*2^1401611-1 is not prime. Res64: 939CA8CC8453689D Time : 0.0 sec. user=mdettweiler [2015-06-28 09:58:05] 843*2^1401611-1 is not prime. Res64: 39FD4CB47403FD3B Time : 0.0 sec. user=mdettweiler [2015-06-28 09:58:06] 879*2^1401611-1 is not prime. Res64: B510733BA22293EF Time : 0.0 sec. user=mdettweiler [2015-06-28 09:59:14] 931*2^1401611-1 is not prime. Res64: 836796467814FA4A Time : 0.0 sec. user=mdettweiler [2015-06-28 09:59:14] 955*2^1401611-1 is not prime. Res64: A2CDFAC64873BFB0 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:15:22] 723*2^1401612-1 is not prime. Res64: FDC74893C4D18147 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:15:23] 609*2^1401612-1 is not prime. Res64: B363082E9E063666 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:15:23] 765*2^1401612-1 is not prime. Res64: D73B4EE5D61110F5 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:15:23] 627*2^1401612-1 is not prime. Res64: E92D3A07D834F76F Time : 0.0 sec. user=mdettweiler [2015-06-28 10:16:36] 797*2^1401612-1 is not prime. Res64: 307F5B168133EBF9 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:16:36] 909*2^1401612-1 is not prime. Res64: 97B8AF23E97D4B23 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:32:43] 625*2^1401613-1 is not prime. Res64: FEFBADE8C90CE11F Time : 0.0 sec. user=mdettweiler [2015-06-28 10:32:43] 855*2^1401613-1 is not prime. Res64: 2AE53EA9499A3511 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:32:43] 675*2^1401613-1 is not prime. Res64: 96AC579C38E51E4D Time : 0.0 sec. user=mdettweiler [2015-06-28 10:32:43] 945*2^1401613-1 is not prime. Res64: 8C9EAFF5E939AE22 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:33:54] 981*2^1401613-1 is not prime. Res64: C672509E50EA70C3 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:33:54] 785*2^1401614-1 is not prime. Res64: 76ED2BC44E618F5B Time : 0.0 sec. user=S_K_ [2015-06-28 10:37:40] 993*2^1401611-1 is not prime. Res64: DC27BDA5D0015464 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:50:01] 923*2^1401614-1 is not prime. Res64: 819BF564DA17808A Time : 0.0 sec. user=mdettweiler [2015-06-28 10:50:01] 797*2^1401614-1 is not prime. Res64: B5DC7E3FC534BF06 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:50:01] 927*2^1401614-1 is not prime. Res64: 45C9F3711E55AB2A Time : 0.0 sec. user=mdettweiler [2015-06-28 10:50:01] 887*2^1401614-1 is not prime. Res64: BD588884661F8E12 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:51:12] 601*2^1401615-1 is not prime. Res64: 439A75AE3ED3CDA4 Time : 0.0 sec. user=mdettweiler [2015-06-28 10:51:12] 685*2^1401615-1 is not prime. Res64: 4D8B36C41757CFAA Time : 0.0 sec. user=mdettweiler [2015-06-28 11:07:19] 885*2^1401615-1 is not prime. Res64: B6775BFF880109A1 Time : 0.0 sec. user=mdettweiler [2015-06-28 11:07:19] 645*2^1401616-1 is not prime. Res64: 98790FA9C14B9840 Time : 0.0 sec. user=mdettweiler [2015-06-28 11:07:20] 677*2^1401616-1 is not prime. Res64: 5EDD93CFC1FBB5EB Time : 0.0 sec. user=mdettweiler [2015-06-28 11:07:20] 719*2^1401616-1 is not prime. Res64: A1AA59777F58AC53 Time : 0.0 sec. user=mdettweiler [2015-06-28 11:08:29] 803*2^1401616-1 is not prime. Res64: 525FF9BABFA9E3B7 Time : 0.0 sec. user=mdettweiler [2015-06-28 11:08:30] 825*2^1401616-1 is not prime. Res64: F6297CED10B88908 Time : 0.0 sec. user=juhehe [2015-06-28 11:16:36] 823*2^1401615-1 is not prime. Res64: 9AC58E7DEA22FD17 Time : 0.0 sec. user=mdettweiler [2015-06-28 11:24:39] 841*2^1401617-1 is not prime. Res64: 87A2396023A375EC Time : 0.0 sec. user=mdettweiler [2015-06-28 11:24:40] 861*2^1401617-1 is not prime. Res64: FFA6E5816F499EE4 Time : 0.0 sec. user=mdettweiler [2015-06-28 11:24:41] 869*2^1401616-1 is not prime. Res64: 1EDA530B2D3E7B68 Time : 0.0 sec. user=mdettweiler [2015-06-28 11:24:41] 759*2^1401617-1 is not prime. Res64: 73078B2D6FEAAD29 Time : 0.0 sec. user=mdettweiler [2015-06-28 11:25:47] 909*2^1401617-1 is not prime. Res64: CD24FE5531448DDA Time : 0.0 sec. user=mdettweiler [2015-06-28 11:25:47] 937*2^1401617-1 is not prime. Res64: 287D836A7A39A85E Time : 0.0 sec. user=S_K_ [2015-06-28 11:26:14] 859*2^1401615-1 is not prime. Res64: E23620AA36D1C2BE Time : 0.0 sec. user=mdettweiler [2015-06-28 11:41:59] 985*2^1401617-1 is not prime. Res64: 6455E05BC1022DD6 Time : 0.0 sec. user=mdettweiler [2015-06-28 11:42:00] 773*2^1401618-1 is not prime. Res64: 6989E56D89A1CBEF Time : 0.0 sec. user=mdettweiler [2015-06-28 11:42:01] 927*2^1401618-1 is not prime. Res64: A203D5BAA081CF3B Time : 0.0 sec. user=mdettweiler [2015-06-28 11:42:01] 945*2^1401618-1 is not prime. Res64: 059530237CECB886 Time : 0.0 sec. user=mdettweiler [2015-06-28 11:43:06] 977*2^1401618-1 is not prime. Res64: 586D5CAE02C84A5B Time : 0.0 sec. user=mdettweiler [2015-06-28 11:43:07] 615*2^1401619-1 is not prime. Res64: 630B70A66EC6260C Time : 0.0 sec. user=mdettweiler [2015-06-28 11:59:19] 843*2^1401619-1 is not prime. Res64: 0A5C10ECC16ED83E Time : 0.0 sec. user=mdettweiler [2015-06-28 11:59:19] 939*2^1401619-1 is not prime. Res64: 61A1EE7B6E735196 Time : 0.0 sec. user=mdettweiler [2015-06-28 11:59:20] 919*2^1401619-1 is not prime. Res64: 791BAD631813BA98 Time : 0.0 sec. user=mdettweiler [2015-06-28 11:59:20] 973*2^1401619-1 is not prime. Res64: D165336823C3E3AF Time : 0.0 sec. user=mdettweiler [2015-06-28 12:00:25] 979*2^1401619-1 is not prime. Res64: E7EC81624069AFB0 Time : 0.0 sec. user=mdettweiler [2015-06-28 12:00:26] 999*2^1401619-1 is not prime. Res64: 630C606288235220 Time : 0.0 sec. user=S_K_ [2015-06-28 12:05:59] 765*2^1401619-1 is not prime. Res64: 93B8907404995B6D Time : 0.0 sec. user=mdettweiler [2015-06-28 12:16:40] 759*2^1401620-1 is not prime. Res64: 3D61216EA64B745A Time : 0.0 sec. user=mdettweiler [2015-06-28 12:16:40] 785*2^1401620-1 is not prime. Res64: 5E679EA7A4356DC3 Time : 0.0 sec. user=mdettweiler [2015-06-28 12:16:40] 603*2^1401620-1 is not prime. Res64: 701776E6E3D7A919 Time : 0.0 sec. user=mdettweiler [2015-06-28 12:16:41] 677*2^1401620-1 is not prime. Res64: FBE3E07433416803 Time : 0.0 sec. user=mdettweiler [2015-06-28 12:17:49] 885*2^1401620-1 is not prime. Res64: 6E01467FB7762091 Time : 0.0 sec. user=mdettweiler [2015-06-28 12:17:49] 945*2^1401620-1 is not prime. Res64: 832B71D4ECF38634 Time : 0.0 sec. user=mdettweiler [2015-06-28 12:34:22] 995*2^1401620-1 is not prime. Res64: 5AD207C3C6B2212E Time : 0.0 sec. user=mdettweiler [2015-06-28 12:34:22] 795*2^1401621-1 is not prime. Res64: 7E474E1DD82D9C92 Time : 0.0 sec. user=mdettweiler [2015-06-28 12:34:22] 607*2^1401621-1 is not prime. Res64: 8ACA1F0E2F896620 Time : 0.0 sec. user=mdettweiler [2015-06-28 12:34:22] 877*2^1401621-1 is not prime. Res64: 2A32B5EC1462A982 Time : 0.0 sec. user=mdettweiler [2015-06-28 12:35:32] 889*2^1401621-1 is not prime. Res64: 704ADCB17F846EE6 Time : 0.0 sec. user=mdettweiler [2015-06-28 12:35:33] 921*2^1401621-1 is not prime. Res64: 0B0F058D32E1A932 Time : 0.0 sec. user=juhehe [2015-06-28 12:39:38] 825*2^1401620-1 is not prime. Res64: 254C3B53E6EFC378 Time : 0.0 sec. user=S_K_ [2015-06-28 12:44:36] 987*2^1401620-1 is not prime. Res64: DB53C359B85CAF31 Time : 0.0 sec. user=mdettweiler [2015-06-28 12:52:10] 937*2^1401621-1 is not prime. Res64: 9638576FC88CE0EA Time : 0.0 sec. user=mdettweiler [2015-06-28 12:52:10] 635*2^1401622-1 is not prime. Res64: 72FCF1D438FC83FE Time : 0.0 sec. user=mdettweiler [2015-06-28 12:52:11] 991*2^1401621-1 is not prime. Res64: 0F5527C4978B8E91 Time : 0.0 sec. user=mdettweiler [2015-06-28 12:52:11] 651*2^1401622-1 is not prime. Res64: 788EE8819D39EACF Time : 0.0 sec. user=mdettweiler [2015-06-28 12:53:17] 657*2^1401622-1 is not prime. Res64: 6077FA8E8B3821AD Time : 0.0 sec. user=mdettweiler [2015-06-28 12:53:18] 723*2^1401622-1 is not prime. Res64: FAE064A86B3C0EFB Time : 0.0 sec. user=mdettweiler [2015-06-28 13:09:53] 729*2^1401623-1 is not prime. Res64: 65B132F3502EB4E8 Time : 0.0 sec. user=mdettweiler [2015-06-28 13:09:54] 785*2^1401622-1 is not prime. Res64: 9B7DEAEB037E7088 Time : 0.0 sec. user=mdettweiler [2015-06-28 13:09:54] 763*2^1401623-1 is not prime. Res64: 80CA90058740CDD2 Time : 0.0 sec. user=mdettweiler [2015-06-28 13:09:54] 923*2^1401622-1 is not prime. Res64: 09D4372CDA1DB8BC Time : 0.0 sec. user=mdettweiler [2015-06-28 13:10:58] 859*2^1401623-1 is not prime. Res64: B5EB6744B7971D37 Time : 0.0 sec. user=mdettweiler [2015-06-28 13:10:59] 913*2^1401623-1 is not prime. Res64: ECABAADB9F5BAB50 Time : 0.0 sec. user=S_K_ [2015-06-28 13:22:31] 741*2^1401622-1 is not prime. Res64: 7619A3CAB8F09D7A Time : 0.0 sec. user=mdettweiler [2015-06-28 13:27:19] 915*2^1401623-1 is not prime. Res64: AB478F8B8AA6BD0F Time : 0.0 sec. user=mdettweiler [2015-06-28 13:27:20] 999*2^1401623-1 is not prime. Res64: D5C22285B968BC3F Time : 0.0 sec. user=mdettweiler [2015-06-28 13:27:22] 747*2^1401624-1 is not prime. Res64: AA90FA0AB680E7D1 Time : 0.0 sec. user=mdettweiler [2015-06-28 13:27:23] 789*2^1401624-1 is not prime. Res64: A5B04BAB4A145CC6 Time : 0.0 sec. user=mdettweiler [2015-06-28 13:28:20] 825*2^1401624-1 is not prime. Res64: 59EF000DB6BA83EB Time : 0.0 sec. user=mdettweiler [2015-06-28 13:28:20] 909*2^1401624-1 is not prime. Res64: B18BD87816303FA1 Time : 0.0 sec. user=mdettweiler [2015-06-28 13:44:44] 993*2^1401624-1 is not prime. Res64: 206C686B47C4F27B Time : 0.0 sec. user=mdettweiler [2015-06-28 13:44:44] 625*2^1401625-1 is not prime. Res64: 6C9EBC7292DDBD09 Time : 0.0 sec. user=mdettweiler [2015-06-28 13:44:44] 811*2^1401625-1 is not prime. Res64: FF3ED789C3D175DE Time : 0.0 sec. user=mdettweiler [2015-06-28 13:44:45] 847*2^1401625-1 is not prime. Res64: 89DAB0D6895B6A51 Time : 0.0 sec. user=mdettweiler [2015-06-28 13:45:41] 849*2^1401625-1 is not prime. Res64: 954235DAB0E3DFC0 Time : 0.0 sec. user=mdettweiler [2015-06-28 13:45:41] 877*2^1401625-1 is not prime. Res64: EB5D8C2525870C32 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:02:02] 939*2^1401625-1 is not prime. Res64: CB522C5C1A5DFDAE Time : 0.0 sec. user=mdettweiler [2015-06-28 14:02:04] 677*2^1401626-1 is not prime. Res64: A69564072136B4B8 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:02:04] 813*2^1401626-1 is not prime. Res64: 1084B8F24DD29C4E Time : 0.0 sec. user=mdettweiler [2015-06-28 14:02:04] 875*2^1401626-1 is not prime. Res64: 1E406F11EC725840 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:02:59] 903*2^1401626-1 is not prime. Res64: CCE9FCD9631F6C24 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:03:01] 981*2^1401626-1 is not prime. Res64: 400409C11A4022B1 Time : 0.0 sec. user=S_K_ [2015-06-28 14:05:50] 957*2^1401624-1 is not prime. Res64: DACD6791B209E3D1 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:19:23] 741*2^1401627-1 is not prime. Res64: 5146EF6EC0229090 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:19:24] 751*2^1401627-1 is not prime. Res64: DCF8AD12016001A8 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:19:25] 873*2^1401627-1 is not prime. Res64: 1EDE3E444E6ED0A0 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:19:26] 999*2^1401627-1 is not prime. Res64: 49E5436D285925F3 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:20:20] 623*2^1401628-1 is not prime. Res64: F66ABEC4580C40DD Time : 0.0 sec. user=mdettweiler [2015-06-28 14:20:20] 635*2^1401628-1 is not prime. Res64: 2323A2589A0832BC Time : 0.0 sec. user=juhehe [2015-06-28 14:35:26] 669*2^1401627-1 is not prime. Res64: 44F53A399D54B255 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:36:43] 699*2^1401628-1 is not prime. Res64: 35A3A8166FF0B56E Time : 0.0 sec. user=mdettweiler [2015-06-28 14:36:43] 743*2^1401628-1 is not prime. Res64: F1FF0A9789F480BA Time : 0.0 sec. user=mdettweiler [2015-06-28 14:36:43] 777*2^1401628-1 is not prime. Res64: D71EC4529D0DB27A Time : 0.0 sec. user=mdettweiler [2015-06-28 14:36:44] 909*2^1401628-1 is not prime. Res64: 2042207B89345FB1 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:37:38] 995*2^1401628-1 is not prime. Res64: 839FF8B752F001BA Time : 0.0 sec. user=mdettweiler [2015-06-28 14:37:39] 631*2^1401629-1 is not prime. Res64: 732F24EEB315A797 Time : 0.0 sec. user=S_K_ [2015-06-28 14:44:01] 647*2^1401628-1 is not prime. Res64: E0925AF7888710A4 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:54:01] 675*2^1401629-1 is not prime. Res64: 8D7B1903BB72C6BD Time : 0.0 sec. user=mdettweiler [2015-06-28 14:54:02] 699*2^1401629-1 is not prime. Res64: 2DB20E3A6881D8E0 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:54:02] 721*2^1401629-1 is not prime. Res64: F495E4ED85488250 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:54:02] 831*2^1401629-1 is not prime. Res64: AE652EAB1BBCC439 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:54:56] 945*2^1401629-1 is not prime. Res64: A7120F5FD7DFB603 Time : 0.0 sec. user=mdettweiler [2015-06-28 14:54:57] 979*2^1401629-1 is not prime. Res64: FFF977666ABF88E6 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:11:21] 705*2^1401631-1 is not prime. Res64: 5A4A7069F5F41450 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:11:21] 741*2^1401631-1 is not prime. Res64: 28162EEA2CF5A396 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:11:22] 711*2^1401630-1 is not prime. Res64: 00D75AB99B7FB960 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:11:22] 971*2^1401630-1 is not prime. Res64: DA92E2E758BDB442 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:12:14] 913*2^1401631-1 is not prime. Res64: 74488739C00A2A16 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:12:15] 933*2^1401631-1 is not prime. Res64: F2C7DAF94960264F Time : 0.0 sec. user=S_K_ [2015-06-28 15:21:29] 635*2^1401630-1 is not prime. Res64: 6B263ED4A47776D7 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:28:39] 951*2^1401631-1 is not prime. Res64: 9EFDF2F8369A1380 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:28:39] 617*2^1401632-1 is not prime. Res64: D75B4E664AD5B04B Time : 0.0 sec. user=mdettweiler [2015-06-28 15:28:40] 755*2^1401632-1 is not prime. Res64: F433A45099C078AD Time : 0.0 sec. user=mdettweiler [2015-06-28 15:28:40] 797*2^1401632-1 is not prime. Res64: A96E06127B14D176 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:29:31] 833*2^1401632-1 is not prime. Res64: 4CA659E49F226F47 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:29:32] 855*2^1401632-1 is not prime. Res64: 15C8A89D88B349A0 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:45:57] 609*2^1401633-1 is not prime. Res64: D780A9E05D4EBF68 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:45:57] 903*2^1401632-1 is not prime. Res64: 063740E20EED3CC7 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:45:57] 747*2^1401633-1 is not prime. Res64: 21A236D0D3668DC3 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:45:58] 917*2^1401632-1 is not prime. Res64: 8EBD36573F4B1F17 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:46:48] 817*2^1401633-1 is not prime. Res64: B1D5916251583433 Time : 0.0 sec. user=mdettweiler [2015-06-28 15:46:49] 829*2^1401633-1 is not prime. Res64: CFA1954E1647939B Time : 0.0 sec. user=S_K_ [2015-06-28 15:58:48] 899*2^1401632-1 is not prime. Res64: DA70E52C42E4B45B Time : 0.0 sec. user=mdettweiler [2015-06-28 16:03:20] 861*2^1401633-1 is not prime. Res64: 75A6A6053B4076A2 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:03:21] 663*2^1401634-1 is not prime. Res64: 889E983A2ACE6D66 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:03:21] 895*2^1401633-1 is not prime. Res64: 23B1FD7421516860 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:03:21] 665*2^1401634-1 is not prime. Res64: 93563063EADB5486 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:04:11] 755*2^1401634-1 is not prime. Res64: E43228E364ED5AC8 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:04:12] 815*2^1401634-1 is not prime. Res64: 7CC3BBFCFE1DB845 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:20:51] 881*2^1401634-1 is not prime. Res64: 4DEE7CE368EEB465 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:20:51] 903*2^1401634-1 is not prime. Res64: 5B6260AB7B6DE545 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:20:52] 651*2^1401635-1 is not prime. Res64: 651F05B9E636C8BE Time : 0.0 sec. user=mdettweiler [2015-06-28 16:20:53] 741*2^1401635-1 is not prime. Res64: 251C237B9B06EACC Time : 0.0 sec. user=mdettweiler [2015-06-28 16:21:42] 805*2^1401635-1 is not prime. Res64: A568F7F288633E53 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:21:43] 829*2^1401635-1 is not prime. Res64: 422FA28CCE75A633 Time : 0.0 sec. user=S_K_ [2015-06-28 16:36:48] 857*2^1401634-1 is not prime. Res64: DF6FB7E2B4F7C48D Time : 0.0 sec. user=mdettweiler [2015-06-28 16:38:11] 855*2^1401635-1 is not prime. Res64: 1E5FA0A8E94B63C5 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:38:11] 895*2^1401635-1 is not prime. Res64: ADA30EF2871A0C54 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:38:12] 985*2^1401635-1 is not prime. Res64: 9343B5F626E3EC30 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:38:12] 657*2^1401636-1 is not prime. Res64: 077D2BF58233CBB7 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:39:06] 803*2^1401636-1 is not prime. Res64: 2BBDDE86709C9A04 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:39:06] 909*2^1401636-1 is not prime. Res64: 6C629B61332F557D Time : 0.0 sec. user=juhehe [2015-06-28 16:48:59] 861*2^1401634-1 is not prime. Res64: F18373EE1D56105D Time : 0.0 sec. user=mdettweiler [2015-06-28 16:55:39] 685*2^1401637-1 is not prime. Res64: 957AA982EDD222C8 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:55:39] 601*2^1401637-1 is not prime. Res64: 193AEF84B02B2284 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:55:39] 691*2^1401637-1 is not prime. Res64: D46B669E6BEE5853 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:55:39] 649*2^1401637-1 is not prime. Res64: BD1FB0DE26C0EDC7 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:56:35] 765*2^1401637-1 is not prime. Res64: 2B71D306BBEF2922 Time : 0.0 sec. user=mdettweiler [2015-06-28 16:56:35] 771*2^1401637-1 is not prime. Res64: 0411530170AE7898 Time : 0.0 sec. user=mdettweiler [2015-06-28 17:13:37] 885*2^1401637-1 is not prime. Res64: D6F7FA97C79B334C Time : 0.0 sec. user=mdettweiler [2015-06-28 17:13:37] 617*2^1401638-1 is not prime. Res64: B6F514C3666663A0 Time : 0.0 sec. user=mdettweiler [2015-06-28 17:13:38] 645*2^1401638-1 is not prime. Res64: E7407A9C187E6C78 Time : 0.0 sec. user=mdettweiler [2015-06-28 17:13:38] 663*2^1401638-1 is not prime. Res64: B62B878E82AAB8A8 Time : 0.0 sec. user=mdettweiler [2015-06-28 17:14:33] 731*2^1401638-1 is not prime. Res64: 63F192051064BACA Time : 0.0 sec. user=mdettweiler [2015-06-28 17:14:33] 743*2^1401638-1 is not prime. Res64: E9C66A0C0A3D9B64 Time : 0.0 sec. user=S_K_ [2015-06-28 17:17:16] 969*2^1401636-1 is not prime. Res64: C8AACE56EDD7C261 Time : 0.0 sec. user=mdettweiler [2015-06-28 17:31:12] 1001*2^1401638-1 is not prime. Res64: B33BA9F4B92FFD95 Time : 0.0 sec. user=mdettweiler [2015-06-28 17:31:13] 885*2^1401638-1 is not prime. Res64: 656CBB858880BB58 Time : 0.0 sec. user=mdettweiler [2015-06-28 17:31:13] 615*2^1401639-1 is not prime. Res64: FBC7EA565377BC68 Time : 0.0 sec. user=mdettweiler [2015-06-28 17:31:13] 945*2^1401638-1 is not prime. Res64: 8354BC5CEF1B4B10 Time : 0.0 sec. user=mdettweiler [2015-06-28 17:32:08] 661*2^1401639-1 is not prime. Res64: 2BBA58EC204A97F2 Time : 0.0 sec. user=mdettweiler [2015-06-28 17:32:08] 709*2^1401639-1 is not prime. Res64: DBFB1DAB330C8E4C Time : 0.0 sec. user=mdettweiler [2015-06-28 17:48:38] 751*2^1401639-1 is not prime. Res64: 19DE41AABF6CE25C Time : 0.0 sec. user=mdettweiler [2015-06-28 17:48:38] 603*2^1401640-1 is not prime. Res64: F329A463115F9159 Time : 0.0 sec. user=mdettweiler [2015-06-28 17:48:38] 961*2^1401639-1 is not prime. Res64: CDF0FF4C65B91FC4 Time : 0.0 sec. user=mdettweiler [2015-06-28 17:48:39] 663*2^1401640-1 is not prime. Res64: 2883956C74EAADCF Time : 0.0 sec. user=mdettweiler [2015-06-28 17:49:32] 747*2^1401640-1 is not prime. Res64: 25498330AEA4B9DF Time : 0.0 sec. user=mdettweiler [2015-06-28 17:49:33] 827*2^1401640-1 is not prime. Res64: B5BDCB26E9C87E97 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:06:09] 917*2^1401640-1 is not prime. Res64: F3D98D93CA915962 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:06:10] 939*2^1401640-1 is not prime. Res64: 8663AA9F947B8352 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:06:16] 631*2^1401641-1 is not prime. Res64: 0B60B3AFA2AFE0A1 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:06:16] 649*2^1401641-1 is not prime. Res64: F42EE252E60CB352 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:07:05] 829*2^1401641-1 is not prime. Res64: 42828FFFDFFCA3AD Time : 0.0 sec. user=mdettweiler [2015-06-28 18:07:06] 861*2^1401641-1 is not prime. Res64: 1BF097BF563FEB6B Time : 0.0 sec. user=S_K_ [2015-06-28 18:19:56] 741*2^1401639-1 is not prime. Res64: 4308F1A82BD4B230 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:23:46] 677*2^1401642-1 is not prime. Res64: 1A146A87D417518C Time : 0.0 sec. user=mdettweiler [2015-06-28 18:23:47] 683*2^1401642-1 is not prime. Res64: 4CCCAE508B4CBF22 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:23:50] 711*2^1401642-1 is not prime. Res64: EEC683F2F10C69C3 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:23:50] 807*2^1401642-1 is not prime. Res64: 3A39EF155132F616 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:24:41] 825*2^1401642-1 is not prime. Res64: 9BB36451CAB56426 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:24:41] 873*2^1401642-1 is not prime. Res64: 0E27FC11163E0EB3 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:41:39] 811*2^1401643-1 is not prime. Res64: D8A58C3DA99F1B33 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:41:40] 969*2^1401643-1 is not prime. Res64: 49EFCB15FB7B4B37 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:41:41] 999*2^1401643-1 is not prime. Res64: 581B40A9724FA06D Time : 0.0 sec. user=mdettweiler [2015-06-28 18:41:41] 605*2^1401644-1 is not prime. Res64: 376FE463222CC928 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:42:32] 825*2^1401644-1 is not prime. Res64: 0AE1B8E01BE5C9E0 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:42:32] 827*2^1401644-1 is not prime. Res64: 14A23A5100806EAA Time : 0.0 sec. user=juhehe [2015-06-28 18:56:33] 691*2^1401643-1 is not prime. Res64: 31E40C8465EC7873 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:59:13] 855*2^1401644-1 is not prime. Res64: DF1B19BA0949F8FA Time : 0.0 sec. user=mdettweiler [2015-06-28 18:59:13] 885*2^1401644-1 is not prime. Res64: 2DB103E01CA27D23 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:59:15] 625*2^1401645-1 is not prime. Res64: 82AE52E99ACB69B1 Time : 0.0 sec. user=mdettweiler [2015-06-28 18:59:15] 655*2^1401645-1 is not prime. Res64: 57BD1CBFD5583109 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:00:05] 667*2^1401645-1 is not prime. Res64: F8DFAFAAD4822497 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:00:06] 741*2^1401645-1 is not prime. Res64: 3AE6910DE5D32C02 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:16:37] 847*2^1401645-1 is not prime. Res64: F41D645CD85E5C27 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:16:37] 777*2^1401645-1 is not prime. Res64: 5615FB9E5FD067E7 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:16:37] 645*2^1401646-1 is not prime. Res64: 01267CBCC02759C1 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:16:37] 819*2^1401645-1 is not prime. Res64: E44F230F3CF6C5A2 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:17:28] 713*2^1401646-1 is not prime. Res64: 11799B85E0474EED Time : 0.0 sec. user=mdettweiler [2015-06-28 19:17:28] 723*2^1401646-1 is not prime. Res64: 29B224709B331668 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:33:59] 773*2^1401646-1 is not prime. Res64: 22C41B9D2801393A Time : 0.0 sec. user=mdettweiler [2015-06-28 19:33:59] 813*2^1401646-1 is not prime. Res64: D08E5C228843AC1B Time : 0.0 sec. user=mdettweiler [2015-06-28 19:34:00] 897*2^1401646-1 is not prime. Res64: 9E99D42142296A8A Time : 0.0 sec. user=mdettweiler [2015-06-28 19:34:00] 917*2^1401646-1 is not prime. Res64: 0F184CB2484955E1 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:34:49] 923*2^1401646-1 is not prime. Res64: 050047AA5D68BD2E Time : 0.0 sec. user=mdettweiler [2015-06-28 19:34:49] 957*2^1401646-1 is not prime. Res64: D3789CD80882E076 Time : 0.0 sec. user=S_K_ [2015-06-28 19:38:10] 741*2^1401643-1 is not prime. Res64: 76AD3CE2C29174E1 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:51:22] 885*2^1401647-1 is not prime. Res64: AF6D47B0AC9FF624 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:51:22] 759*2^1401647-1 is not prime. Res64: D05996C741CAA064 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:51:22] 879*2^1401647-1 is not prime. Res64: E94523C3979B27E1 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:51:22] 973*2^1401647-1 is not prime. Res64: 2EC31A3FC765F467 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:52:09] 999*2^1401647-1 is not prime. Res64: 8E787B53FA73C073 Time : 0.0 sec. user=mdettweiler [2015-06-28 19:52:09] 633*2^1401648-1 is not prime. Res64: EC2E0285D647DBC1 Time : 0.0 sec. user=mdettweiler [2015-06-28 20:08:44] 713*2^1401648-1 is not prime. Res64: 313AA10095B5BAD8 Time : 0.0 sec. user=mdettweiler [2015-06-28 20:08:45] 945*2^1401648-1 is not prime. Res64: B4881E8F2EE5EACB Time : 0.0 sec. user=mdettweiler [2015-06-28 20:08:45] 993*2^1401648-1 is not prime. Res64: 21F5CDEBCAD0B71B Time : 0.0 sec. user=mdettweiler [2015-06-28 20:08:46] 649*2^1401649-1 is not prime. Res64: C8FB4FBE3AC57EDB Time : 0.0 sec. user=mdettweiler [2015-06-28 20:09:30] 847*2^1401649-1 is not prime. Res64: 060CFC697630A20F Time : 0.0 sec. user=mdettweiler [2015-06-28 20:09:31] 925*2^1401649-1 is not prime. Res64: 83ED86D9B82B54E8 Time : 0.0 sec. user=mdettweiler [2015-06-28 20:26:10] 743*2^1401650-1 is not prime. Res64: 776FA4FE56CF5708 Time : 0.0 sec. user=mdettweiler [2015-06-28 20:26:11] 825*2^1401650-1 is not prime. Res64: 3B38FA5396F9CA5B Time : 0.0 sec. user=mdettweiler [2015-06-28 20:26:11] 783*2^1401650-1 is not prime. Res64: C4258F52DABFF911 Time : 0.0 sec. user=mdettweiler [2015-06-28 20:26:11] 917*2^1401650-1 is not prime. Res64: D74C9E3BC0987B7F Time : 0.0 sec. user=mdettweiler [2015-06-28 20:26:52] 953*2^1401650-1 is not prime. Res64: 799937B0EB8D3423 Time : 0.0 sec. user=mdettweiler [2015-06-28 20:26:53] 705*2^1401651-1 is not prime. Res64: 9E595563AD82D269 Time : 0.0 sec. user=S_K_ [2015-06-28 20:36:32] 669*2^1401648-1 is not prime. Res64: 041DC96D6478C9B5 Time : 0.0 sec. user=mdettweiler [2015-06-28 20:43:33] 795*2^1401651-1 is not prime. Res64: F60FCE8ED731E959 Time : 0.0 sec. user=mdettweiler [2015-06-28 20:43:33] 769*2^1401651-1 is not prime. Res64: 81CF595987306BD9 Time : 0.0 sec. user=mdettweiler [2015-06-28 20:43:34] 849*2^1401651-1 is not prime. Res64: C28A23B2B29A549D Time : 0.0 sec. user=mdettweiler [2015-06-28 20:43:34] 775*2^1401651-1 is not prime. Res64: 12BCD519930D3261 Time : 0.0 sec. user=mdettweiler [2015-06-28 20:44:14] 909*2^1401651-1 is not prime. Res64: 35314550DB9B1CAF Time : 0.0 sec. user=mdettweiler [2015-06-28 20:44:15] 943*2^1401651-1 is not prime. Res64: 35AD053D6E047756 Time : 0.0 sec. user=juhehe [2015-06-28 20:59:21] 709*2^1401651-1 is not prime. Res64: 9DA42F803A187305 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:00:56] 609*2^1401652-1 is not prime. Res64: 16B2583B77B8DFD0 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:00:57] 615*2^1401652-1 is not prime. Res64: 586AF09DF52ACDED Time : 0.0 sec. user=mdettweiler [2015-06-28 21:00:58] 665*2^1401652-1 is not prime. Res64: D1BCF56BA686F41E Time : 0.0 sec. user=mdettweiler [2015-06-28 21:00:59] 749*2^1401652-1 is not prime. Res64: 7309E91525E29E6D Time : 0.0 sec. user=mdettweiler [2015-06-28 21:01:36] 915*2^1401652-1 is not prime. Res64: 9ABDB12C7114B3D3 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:01:37] 995*2^1401652-1 is not prime. Res64: 9FD06EA8365232E8 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:18:20] 781*2^1401653-1 is not prime. Res64: 104760BA840636AC Time : 0.0 sec. user=mdettweiler [2015-06-28 21:18:21] 801*2^1401653-1 is not prime. Res64: A88657FF3B703448 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:18:22] 861*2^1401653-1 is not prime. Res64: 6B33F51AB6F3E703 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:18:23] 951*2^1401653-1 is not prime. Res64: B3B61BBACB3F6EC8 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:19:02] 991*2^1401653-1 is not prime. Res64: 9FCACA59A204E979 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:19:02] 795*2^1401654-1 is not prime. Res64: EE90765CFE84EDD0 Time : 0.0 sec. user=S_K_ [2015-06-28 21:32:17] 969*2^1401651-1 is not prime. Res64: E776E92DE3BFC833 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:35:44] 807*2^1401654-1 is not prime. Res64: CB2E991CA721A64E Time : 0.0 sec. user=mdettweiler [2015-06-28 21:35:44] 951*2^1401654-1 is not prime. Res64: E882895185EE3D31 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:35:44] 903*2^1401654-1 is not prime. Res64: 21ADCD552939AFB4 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:35:45] 619*2^1401655-1 is not prime. Res64: 6B2732D671C7ED8F Time : 0.0 sec. user=mdettweiler [2015-06-28 21:36:23] 705*2^1401655-1 is not prime. Res64: 269057228E4B7534 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:36:24] 741*2^1401655-1 is not prime. Res64: C95CBA4CE962B704 Time : 0.0 sec. user=juhehe [2015-06-28 21:42:32] 721*2^1401653-1 is not prime. Res64: 2D47A4B7CB21A0C3 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:53:07] 919*2^1401655-1 is not prime. Res64: 2166CB3D53E871DF Time : 0.0 sec. user=mdettweiler [2015-06-28 21:53:08] 675*2^1401656-1 is not prime. Res64: A4B2BAEBAADCA22A Time : 0.0 sec. user=mdettweiler [2015-06-28 21:53:08] 825*2^1401656-1 is not prime. Res64: 8DA046B1FC5DD45A Time : 0.0 sec. user=mdettweiler [2015-06-28 21:53:09] 935*2^1401656-1 is not prime. Res64: BE912BCA8197A362 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:53:48] 963*2^1401656-1 is not prime. Res64: 36AEAC3014D61741 Time : 0.0 sec. user=mdettweiler [2015-06-28 21:53:48] 993*2^1401656-1 is not prime. Res64: F7DA587FB0027962 Time : 0.0 sec. user=mdettweiler [2015-06-28 22:10:44] 717*2^1401657-1 is not prime. Res64: 56770C418FD058AF Time : 0.0 sec. user=mdettweiler [2015-06-28 22:10:45] 781*2^1401657-1 is not prime. Res64: C38F3F97E03C85B0 Time : 0.0 sec. user=mdettweiler [2015-06-28 22:10:49] 667*2^1401657-1 is not prime. Res64: FD12D9887B5E3EB6 Time : 0.0 sec. user=mdettweiler [2015-06-28 22:10:49] 669*2^1401657-1 is not prime. Res64: 7622177043AB95D0 Time : 0.0 sec. user=mdettweiler [2015-06-28 22:11:24] 805*2^1401657-1 is not prime. Res64: 9CB3F5A70958AD6E Time : 0.0 sec. user=mdettweiler [2015-06-28 22:11:24] 865*2^1401657-1 is not prime. Res64: 1BB0381709C71B4C Time : 0.0 sec. user=S_K_ [2015-06-28 22:14:00] 889*2^1401655-1 is not prime. Res64: 8E92D48BCAC101AA Time : 0.0 sec. user=mdettweiler [2015-06-28 22:28:06] 975*2^1401657-1 is not prime. Res64: 4AB252BACEC3AC74 Time : 0.0 sec. user=mdettweiler [2015-06-28 22:28:06] 645*2^1401658-1 is not prime. Res64: 2D17E253241F0224 Time : 0.0 sec. user=mdettweiler [2015-06-28 22:28:08] 651*2^1401658-1 is not prime. Res64: 44A36AA794420F3E Time : 0.0 sec. user=mdettweiler [2015-06-28 22:28:09] 677*2^1401658-1 is not prime. Res64: 740598639C083E4F Time : 0.0 sec. user=mdettweiler [2015-06-28 22:28:44] 735*2^1401658-1 is not prime. Res64: 745194717D3D13E5 Time : 0.0 sec. user=mdettweiler [2015-06-28 22:28:44] 803*2^1401658-1 is not prime. Res64: CF3C26279B91DEB5 Time : 0.0 sec. user=mdettweiler [2015-06-28 22:45:29] 975*2^1401658-1 is not prime. Res64: 47902A54782B864D Time : 0.0 sec. user=mdettweiler [2015-06-28 22:45:29] 603*2^1401659-1 is not prime. Res64: 5642C1DFFACAFC02 Time : 0.0 sec. user=mdettweiler [2015-06-28 22:45:32] 733*2^1401659-1 is not prime. Res64: F035509C85AF1F63 Time : 0.0 sec. user=mdettweiler [2015-06-28 22:45:33] 841*2^1401659-1 is not prime. Res64: ECDBA0250482AFF6 Time : 0.0 sec. user=mdettweiler [2015-06-28 22:46:04] 879*2^1401659-1 is not prime. Res64: 63B7656E5B24CDFC Time : 0.0 sec. user=mdettweiler [2015-06-28 22:46:05] 943*2^1401659-1 is not prime. Res64: DF5C3202545BBE2E Time : 0.0 sec. user=S_K_ [2015-06-28 22:56:12] 843*2^1401658-1 is not prime. Res64: 277FD198639DA5B6 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:02:49] 991*2^1401659-1 is not prime. Res64: 3B6C4388A0128CF0 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:02:50] 707*2^1401660-1 is not prime. Res64: 811DD8A72F816B2C Time : 0.0 sec. user=mdettweiler [2015-06-28 23:02:51] 735*2^1401660-1 is not prime. Res64: 2FA919CA6318AAD5 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:02:52] 797*2^1401660-1 is not prime. Res64: A8D3B167306D3573 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:03:23] 999*2^1401660-1 is not prime. Res64: 837FC664DE98EB37 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:03:24] 645*2^1401661-1 is not prime. Res64: 57C3D18E8974B32A Time : 0.0 sec. user=mdettweiler [2015-06-28 23:20:22] 811*2^1401661-1 is not prime. Res64: 5F812B8B5197BD01 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:20:23] 829*2^1401661-1 is not prime. Res64: E2126A69C26C1DC7 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:20:23] 861*2^1401661-1 is not prime. Res64: 14B8BDCCE7B8B270 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:20:24] 931*2^1401661-1 is not prime. Res64: 37DFEECE465964BE Time : 0.0 sec. user=mdettweiler [2015-06-28 23:20:46] 945*2^1401661-1 is not prime. Res64: 6C0F77745C325672 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:20:47] 957*2^1401661-1 is not prime. Res64: 0FFA7FFE76340138 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:37:41] 635*2^1401662-1 is not prime. Res64: D34F88E189C45000 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:37:42] 831*2^1401662-1 is not prime. Res64: 76CF73A84A9725BA Time : 0.0 sec. user=mdettweiler [2015-06-28 23:37:42] 741*2^1401662-1 is not prime. Res64: 33F1EE4D7A034B02 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:37:42] 857*2^1401662-1 is not prime. Res64: 91FD7CD94E62085C Time : 0.0 sec. user=mdettweiler [2015-06-28 23:38:05] 951*2^1401662-1 is not prime. Res64: 3A64F76DAE933A16 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:38:05] 957*2^1401662-1 is not prime. Res64: 0418A782F883076C Time : 0.0 sec. user=mdettweiler [2015-06-28 23:55:00] 965*2^1401662-1 is not prime. Res64: 4FC2EFB4E69794A5 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:55:01] 831*2^1401663-1 is not prime. Res64: B8FCBC62AE31FF67 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:55:01] 895*2^1401663-1 is not prime. Res64: 5A21E36770C3E183 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:55:01] 963*2^1401663-1 is not prime. Res64: DF427E01FB617268 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:55:23] 985*2^1401663-1 is not prime. Res64: 4BEF0DF2CAA01CB2 Time : 0.0 sec. user=mdettweiler [2015-06-28 23:55:24] 609*2^1401664-1 is not prime. Res64: E8821CC09ACDA697 Time : 0.0 sec.