user=mdettweiler [2016-08-14 00:10:08] 717*2^1437424-1 is not prime. Res64: 1AA923664A8A4F62 Time : 0.0 sec. user=mdettweiler [2016-08-14 00:10:10] 825*2^1437424-1 is not prime. Res64: 5B4C0AAA255D9949 Time : 0.0 sec. user=mdettweiler [2016-08-14 00:10:12] 855*2^1437424-1 is not prime. Res64: AC42523909F7A6A1 Time : 0.0 sec. user=mdettweiler [2016-08-14 00:10:17] 711*2^1437425-1 is not prime. Res64: 06B5C9427A694079 Time : 0.0 sec. user=mdettweiler [2016-08-14 00:10:19] 721*2^1437425-1 is not prime. Res64: F4626E057B2D2030 Time : 0.0 sec. user=mdettweiler [2016-08-14 00:33:48] 787*2^1437425-1 is not prime. Res64: A5C4F95E3738768E Time : 0.0 sec. user=mdettweiler [2016-08-14 00:33:51] 847*2^1437425-1 is not prime. Res64: CD23FA7E9969897F Time : 0.0 sec. user=mdettweiler [2016-08-14 00:33:53] 987*2^1437425-1 is not prime. Res64: 1D37D8DBD3E44273 Time : 0.0 sec. user=mdettweiler [2016-08-14 00:33:55] 657*2^1437426-1 is not prime. Res64: BF30FD811D7D9D79 Time : 0.0 sec. user=mdettweiler [2016-08-14 00:33:57] 713*2^1437426-1 is not prime. Res64: B528576907D4B162 Time : 0.0 sec. user=mdettweiler [2016-08-14 00:45:43] 903*2^1437412-1 is not prime. Res64: 09F17471640DA64D Time : 0.0 sec. user=mdettweiler [2016-08-14 00:45:43] 909*2^1437412-1 is not prime. Res64: EA471E38A1A15846 Time : 0.0 sec. user=mdettweiler [2016-08-14 00:45:44] 929*2^1437412-1 is not prime. Res64: A211CAF4E2497407 Time : 0.0 sec. user=mdettweiler [2016-08-14 00:45:44] 965*2^1437412-1 is not prime. Res64: 98F96F10D5DD6D89 Time : 0.0 sec. user=mdettweiler [2016-08-14 00:45:44] 995*2^1437412-1 is not prime. Res64: ED740B7F56DAE14B Time : 0.0 sec. user=mdettweiler [2016-08-14 00:58:13] 815*2^1437426-1 is not prime. Res64: 033957101C98F0CC Time : 0.0 sec. user=mdettweiler [2016-08-14 00:58:15] 903*2^1437426-1 is not prime. Res64: 6CBA2633B56EE14D Time : 0.0 sec. user=mdettweiler [2016-08-14 00:58:18] 941*2^1437426-1 is not prime. Res64: C37483C01C74F00C Time : 0.0 sec. user=mdettweiler [2016-08-14 00:58:20] 633*2^1437427-1 is not prime. Res64: 6549F1077B20AB3F Time : 0.0 sec. user=mdettweiler [2016-08-14 00:58:23] 663*2^1437427-1 is not prime. Res64: FFC2DFF936D5F52F Time : 0.0 sec. user=mdettweiler [2016-08-14 01:24:56] 773*2^1437414-1 is not prime. Res64: 00F95D96C0EED8C6 Time : 0.0 sec. user=mdettweiler [2016-08-14 01:24:59] 797*2^1437414-1 is not prime. Res64: 552F7ACA698EF3F6 Time : 0.0 sec. user=mdettweiler [2016-08-14 01:25:03] 873*2^1437414-1 is not prime. Res64: 1B75C120357E0527 Time : 0.0 sec. user=mdettweiler [2016-08-14 01:25:03] 893*2^1437414-1 is not prime. Res64: 1456AE09C3BB642E Time : 0.0 sec. user=mdettweiler [2016-08-14 01:25:07] 993*2^1437414-1 is not prime. Res64: 625A255DB9D3E90C Time : 0.0 sec. user=mdettweiler [2016-08-14 01:31:26] 885*2^1437427-1 is not prime. Res64: 949C7CB6C2071D13 Time : 0.0 sec. user=mdettweiler [2016-08-14 01:31:29] 931*2^1437427-1 is not prime. Res64: 8EB70144D663578B Time : 0.0 sec. user=mdettweiler [2016-08-14 01:31:31] 945*2^1437427-1 is not prime. Res64: 4E7028B6DA96BD45 Time : 0.0 sec. user=mdettweiler [2016-08-14 01:31:34] 629*2^1437428-1 is not prime. Res64: A01CDF1F6A5ABA9D Time : 0.0 sec. user=mdettweiler [2016-08-14 01:31:35] 687*2^1437428-1 is not prime. Res64: AD6EE7EB3E8C48B8 Time : 0.0 sec. user=mdettweiler [2016-08-14 01:44:01] 707*2^1437428-1 is not prime. Res64: DE5A1087DD28D873 Time : 0.0 sec. user=mdettweiler [2016-08-14 01:44:01] 867*2^1437428-1 is not prime. Res64: 308EC9F5FA5DA872 Time : 0.0 sec. user=mdettweiler [2016-08-14 01:44:02] 935*2^1437428-1 is not prime. Res64: 18074075FCDF205E Time : 0.0 sec. user=mdettweiler [2016-08-14 01:44:02] 999*2^1437428-1 is not prime. Res64: FB1E25B4FEECCC56 Time : 0.0 sec. user=mdettweiler [2016-08-14 01:44:03] 765*2^1437429-1 is not prime. Res64: 564D7D41CC3F1BD1 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:11:26] 835*2^1437429-1 is not prime. Res64: F03952586668F5F8 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:11:27] 927*2^1437429-1 is not prime. Res64: 4F36B8586FE07F1D Time : 0.0 sec. user=mdettweiler [2016-08-14 02:11:28] 653*2^1437430-1 is not prime. Res64: E82295569F027592 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:11:28] 657*2^1437430-1 is not prime. Res64: CE9D0EA27ED8DC41 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:11:29] 695*2^1437430-1 is not prime. Res64: C5EDABEA3FF30ED7 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:17:51] 827*2^1437430-1 is not prime. Res64: 9C84A617F5AD4FA1 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:17:53] 619*2^1437431-1 is not prime. Res64: 11C26E47E065A421 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:17:56] 679*2^1437431-1 is not prime. Res64: 6CC957D8A477F7E8 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:17:58] 813*2^1437431-1 is not prime. Res64: DE8C00D8DD95BFFA Time : 0.0 sec. user=mdettweiler [2016-08-14 02:18:00] 825*2^1437431-1 is not prime. Res64: 26EB0B6D8EF4EBE6 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:30:06] 859*2^1437431-1 is not prime. Res64: 42B96E745D716662 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:30:08] 865*2^1437431-1 is not prime. Res64: ABC9FB7BEB9FC141 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:30:11] 993*2^1437431-1 is not prime. Res64: 119F8DD8E0B70F20 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:30:18] 623*2^1437432-1 is not prime. Res64: 7CCD99C366E3B687 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:30:25] 675*2^1437432-1 is not prime. Res64: 0E3EA2772802C5B3 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:57:27] 689*2^1437432-1 is not prime. Res64: 7334BD051D38403E Time : 0.0 sec. user=mdettweiler [2016-08-14 02:57:28] 713*2^1437432-1 is not prime. Res64: 49D49ADDC5732EA3 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:57:28] 719*2^1437432-1 is not prime. Res64: 7CD0021A0FF46CBD Time : 0.0 sec. user=mdettweiler [2016-08-14 02:57:29] 723*2^1437432-1 is not prime. Res64: 00B849693B296FD7 Time : 0.0 sec. user=mdettweiler [2016-08-14 02:57:29] 879*2^1437432-1 is not prime. Res64: B50A6ADF5213FF5B Time : 0.0 sec. user=mdettweiler [2016-08-14 03:04:11] 899*2^1437432-1 is not prime. Res64: 2EE08D315F76013B Time : 0.0 sec. user=mdettweiler [2016-08-14 03:04:13] 847*2^1437433-1 is not prime. Res64: D261FE6355246CA9 Time : 0.0 sec. user=mdettweiler [2016-08-14 03:04:14] 855*2^1437433-1 is not prime. Res64: C8101EFC48D128A5 Time : 0.0 sec. user=mdettweiler [2016-08-14 03:04:15] 981*2^1437433-1 is not prime. Res64: 7A243051F7992C34 Time : 0.0 sec. user=mdettweiler [2016-08-14 03:04:17] 605*2^1437434-1 is not prime. Res64: E3D23861522059D7 Time : 0.0 sec. user=mdettweiler [2016-08-14 03:16:58] 675*2^1437434-1 is not prime. Res64: AFF0B7C3D3FA0457 Time : 0.0 sec. user=mdettweiler [2016-08-14 03:16:59] 747*2^1437434-1 is not prime. Res64: 75A26E9DCA1883E8 Time : 0.0 sec. user=mdettweiler [2016-08-14 03:17:00] 981*2^1437434-1 is not prime. Res64: 1E38394439C6A345 Time : 0.0 sec. user=mdettweiler [2016-08-14 03:17:01] 995*2^1437434-1 is not prime. Res64: 8BDC79FDFEECCA19 Time : 0.0 sec. user=mdettweiler [2016-08-14 03:17:02] 633*2^1437435-1 is not prime. Res64: D637DC501CE5225F Time : 0.0 sec. user=mdettweiler [2016-08-14 03:44:32] 679*2^1437435-1 is not prime. Res64: 7F08148F06B317DF Time : 0.0 sec. user=mdettweiler [2016-08-14 03:44:33] 711*2^1437435-1 is not prime. Res64: DB07E47F820DA5DB Time : 0.0 sec. user=mdettweiler [2016-08-14 03:44:34] 751*2^1437435-1 is not prime. Res64: 60AE03B0CC0E8455 Time : 0.0 sec. user=mdettweiler [2016-08-14 03:44:35] 781*2^1437435-1 is not prime. Res64: C7612D8CA999041B Time : 0.0 sec. user=mdettweiler [2016-08-14 03:44:36] 973*2^1437435-1 is not prime. Res64: B5457F858C25005B Time : 0.0 sec. user=mdettweiler [2016-08-14 03:51:38] 623*2^1437436-1 is not prime. Res64: 19C04D8A27E21782 Time : 0.0 sec. user=mdettweiler [2016-08-14 03:51:40] 839*2^1437436-1 is not prime. Res64: 3E6538CABC7EBC7C Time : 0.0 sec. user=mdettweiler [2016-08-14 03:51:41] 909*2^1437436-1 is not prime. Res64: A13249306F21C8BF Time : 0.0 sec. user=mdettweiler [2016-08-14 03:51:41] 939*2^1437436-1 is not prime. Res64: DF8A9748D379B4EA Time : 0.0 sec. user=mdettweiler [2016-08-14 03:51:42] 999*2^1437436-1 is not prime. Res64: 3E90597592D87FFC Time : 0.0 sec. user=mdettweiler [2016-08-14 04:04:13] 615*2^1437437-1 is not prime. Res64: 437AF5CA89E25076 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:04:21] 627*2^1437437-1 is not prime. Res64: EF7A447055EDC713 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:04:23] 655*2^1437437-1 is not prime. Res64: E246F89AD822E0B4 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:04:27] 675*2^1437437-1 is not prime. Res64: AB76227E6A0FFAEA Time : 0.0 sec. user=mdettweiler [2016-08-14 04:04:29] 795*2^1437437-1 is not prime. Res64: 1CF345C70BBB801E Time : 0.0 sec. user=mdettweiler [2016-08-14 04:16:45] 691*2^1437427-1 is not prime. Res64: 936C1933CD525C9B Time : 0.0 sec. user=mdettweiler [2016-08-14 04:16:46] 693*2^1437427-1 is not prime. Res64: 368B4A6DFDCAF593 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:16:47] 829*2^1437427-1 is not prime. Res64: F1DB55C9545E02D8 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:16:47] 835*2^1437427-1 is not prime. Res64: 977E69A56E2C9B57 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:16:48] 859*2^1437427-1 is not prime. Res64: C57C26C70E6BA2A9 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:31:27] 805*2^1437437-1 is not prime. Res64: FEEC2E69162C93B1 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:31:28] 825*2^1437437-1 is not prime. Res64: FA4F7DE1AB53C79D Time : 0.0 sec. user=mdettweiler [2016-08-14 04:31:28] 927*2^1437437-1 is not prime. Res64: A3970421B193B9FC Time : 0.0 sec. user=mdettweiler [2016-08-14 04:31:29] 991*2^1437437-1 is not prime. Res64: 9ABAD2811293878B Time : 0.0 sec. user=mdettweiler [2016-08-14 04:31:29] 997*2^1437437-1 is not prime. Res64: F06C6EEC5C971A9A Time : 0.0 sec. user=mdettweiler [2016-08-14 04:38:28] 641*2^1437438-1 is not prime. Res64: 51A33497F3A73003 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:38:28] 665*2^1437438-1 is not prime. Res64: F56FBCD19EA1D0F6 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:38:29] 671*2^1437438-1 is not prime. Res64: 8CAF4F2E95FEDB8C Time : 0.0 sec. user=mdettweiler [2016-08-14 04:38:29] 713*2^1437438-1 is not prime. Res64: 208EE033039C1C65 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:38:29] 777*2^1437438-1 is not prime. Res64: 3BEA4D91842BF2AB Time : 0.0 sec. user=mdettweiler [2016-08-14 04:51:34] 801*2^1437438-1 is not prime. Res64: E494BD56D2EA6173 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:51:34] 609*2^1437439-1 is not prime. Res64: 8F4548BF3F644A8A Time : 0.0 sec. user=mdettweiler [2016-08-14 04:51:37] 663*2^1437439-1 is not prime. Res64: 974157375B75EAD8 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:51:37] 723*2^1437439-1 is not prime. Res64: 69ED8D8FA6DEAD69 Time : 0.0 sec. user=mdettweiler [2016-08-14 04:51:37] 741*2^1437439-1 is not prime. Res64: B52104CDA206B7B6 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:02:48] 759*2^1437439-1 is not prime. Res64: A532DC1819D55C05 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:02:49] 813*2^1437439-1 is not prime. Res64: 97A013ECF78EF1CD Time : 0.0 sec. user=mdettweiler [2016-08-14 05:02:50] 913*2^1437439-1 is not prime. Res64: 639A572B1CFACA6B Time : 0.0 sec. user=mdettweiler [2016-08-14 05:02:50] 999*2^1437439-1 is not prime. Res64: 56D4797CB4357A7E Time : 0.0 sec. user=mdettweiler [2016-08-14 05:02:53] 635*2^1437440-1 is not prime. Res64: 4D61511175513851 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:16:47] 735*2^1437440-1 is not prime. Res64: 6179B20AF701CCD7 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:16:47] 777*2^1437440-1 is not prime. Res64: 25A0114C1B219047 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:16:47] 875*2^1437440-1 is not prime. Res64: 22D6A2AD7F27FD9F Time : 0.0 sec. user=mdettweiler [2016-08-14 05:16:48] 691*2^1437441-1 is not prime. Res64: 78429281C01B13C3 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:16:48] 871*2^1437441-1 is not prime. Res64: 54924128EA983AE0 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:23:31] 945*2^1437441-1 is not prime. Res64: F03A880095CFBB2B Time : 0.0 sec. user=mdettweiler [2016-08-14 05:23:32] 955*2^1437441-1 is not prime. Res64: 8A6D2CEA5F1FF3AB Time : 0.0 sec. user=mdettweiler [2016-08-14 05:23:33] 979*2^1437441-1 is not prime. Res64: 108569E00B61955B Time : 0.0 sec. user=mdettweiler [2016-08-14 05:23:34] 621*2^1437442-1 is not prime. Res64: F28413B680112307 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:23:35] 675*2^1437442-1 is not prime. Res64: A20A5D1EA29A1077 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:36:30] 717*2^1437442-1 is not prime. Res64: 4DD430A8170E8468 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:36:30] 731*2^1437442-1 is not prime. Res64: 6386AAD24664176D Time : 0.0 sec. user=mdettweiler [2016-08-14 05:36:31] 831*2^1437442-1 is not prime. Res64: 703E87DA658BA3BD Time : 0.0 sec. user=mdettweiler [2016-08-14 05:36:31] 843*2^1437442-1 is not prime. Res64: BDB40A61913BC630 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:36:31] 873*2^1437442-1 is not prime. Res64: 74FC2B6EF593566F Time : 0.0 sec. user=mdettweiler [2016-08-14 05:47:42] 735*2^1437443-1 is not prime. Res64: FFB831050EF52737 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:47:43] 861*2^1437443-1 is not prime. Res64: 413944B644EEA643 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:47:43] 871*2^1437443-1 is not prime. Res64: 7F7A0060BB244E01 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:47:44] 993*2^1437443-1 is not prime. Res64: 102FBAE76A575E56 Time : 0.0 sec. user=mdettweiler [2016-08-14 05:47:44] 707*2^1437444-1 is not prime. Res64: 91528A0431649B29 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:01:38] 975*2^1437444-1 is not prime. Res64: 261ECFF24C466D5C Time : 0.0 sec. user=mdettweiler [2016-08-14 06:01:42] 727*2^1437445-1 is not prime. Res64: 65FD5A54727657B0 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:01:46] 799*2^1437445-1 is not prime. Res64: 392855BA35073C55 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:01:46] 663*2^1437446-1 is not prime. Res64: E3D418A6DD605CAA Time : 0.0 sec. user=mdettweiler [2016-08-14 06:01:52] 693*2^1437446-1 is not prime. Res64: BA8F0D915C18C9E8 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:08:36] 711*2^1437446-1 is not prime. Res64: 5B5B42D7863F2DC1 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:08:37] 813*2^1437446-1 is not prime. Res64: F9FB1002D127CCE4 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:08:38] 851*2^1437446-1 is not prime. Res64: 1184C7C7D6D1233D Time : 0.0 sec. user=mdettweiler [2016-08-14 06:08:39] 919*2^1437447-1 is not prime. Res64: 0595A4AD3AA794CA Time : 0.0 sec. user=mdettweiler [2016-08-14 06:08:40] 963*2^1437447-1 is not prime. Res64: DFF912F399F333F3 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:21:20] 973*2^1437447-1 is not prime. Res64: 9106FBE7A04C14C4 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:21:20] 979*2^1437447-1 is not prime. Res64: 337060D3AD3EFAB6 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:21:21] 615*2^1437448-1 is not prime. Res64: 97F254A30746FEE5 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:21:21] 699*2^1437448-1 is not prime. Res64: 83CBEFBD99BC65DA Time : 0.0 sec. user=mdettweiler [2016-08-14 06:21:22] 707*2^1437448-1 is not prime. Res64: E2CE850BD4380D64 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:32:33] 765*2^1437448-1 is not prime. Res64: 3DC2C5A524E04A7A Time : 0.0 sec. user=mdettweiler [2016-08-14 06:32:33] 773*2^1437448-1 is not prime. Res64: 7AF44CCAE48B5831 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:32:34] 827*2^1437448-1 is not prime. Res64: 9B7C2DE5DEBF6F12 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:32:34] 843*2^1437448-1 is not prime. Res64: 90E6B72CC1F8CAB8 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:32:34] 915*2^1437448-1 is not prime. Res64: EEC0A266DFC26FA8 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:46:56] 933*2^1437448-1 is not prime. Res64: B2639B1FAE88C7D1 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:46:57] 989*2^1437448-1 is not prime. Res64: 2E44AD1605D9097C Time : 0.0 sec. user=mdettweiler [2016-08-14 06:46:59] 995*2^1437448-1 is not prime. Res64: 8DB2499C0941432F Time : 0.0 sec. user=mdettweiler [2016-08-14 06:46:59] 619*2^1437449-1 is not prime. Res64: A3DDA05164190D49 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:47:00] 721*2^1437449-1 is not prime. Res64: 52DAEB01264446FB Time : 0.0 sec. user=mdettweiler [2016-08-14 06:53:35] 939*2^1437449-1 is not prime. Res64: AAEA4F66383CBDC5 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:53:36] 633*2^1437450-1 is not prime. Res64: 1B82F4A2F91C9046 Time : 0.0 sec. user=mdettweiler [2016-08-14 06:53:36] 653*2^1437450-1 is not prime. Res64: 55766E5E7171BFAF Time : 0.0 sec. user=mdettweiler [2016-08-14 06:53:37] 803*2^1437450-1 is not prime. Res64: F34C91D5F0045CCC Time : 0.0 sec. user=mdettweiler [2016-08-14 06:53:37] 875*2^1437450-1 is not prime. Res64: 012D1124F5A07631 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:06:06] 891*2^1437450-1 is not prime. Res64: 39B9406FA0831BA6 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:06:08] 971*2^1437450-1 is not prime. Res64: 9BDC204956E81F0C Time : 0.0 sec. user=mdettweiler [2016-08-14 07:06:09] 1001*2^1437450-1 is not prime. Res64: C5BFDF005128051A Time : 0.0 sec. user=mdettweiler [2016-08-14 07:06:10] 663*2^1437451-1 is not prime. Res64: F8679DC631F91628 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:06:11] 709*2^1437451-1 is not prime. Res64: 0629C0704A9BD1C2 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:17:25] 759*2^1437451-1 is not prime. Res64: CC11B527AED61AD0 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:17:26] 805*2^1437451-1 is not prime. Res64: 0E80A3EE07F2EC7E Time : 0.0 sec. user=mdettweiler [2016-08-14 07:17:29] 849*2^1437451-1 is not prime. Res64: 0F4235F3387ADA60 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:17:30] 939*2^1437451-1 is not prime. Res64: DB02933CF86570C8 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:17:30] 975*2^1437451-1 is not prime. Res64: 3E416F19F570E456 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:31:43] 635*2^1437452-1 is not prime. Res64: C8EA606D5C318FE4 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:31:43] 749*2^1437452-1 is not prime. Res64: 4A214CEB7354A58F Time : 0.0 sec. user=mdettweiler [2016-08-14 07:31:43] 755*2^1437452-1 is not prime. Res64: D6075033CAE0DC77 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:31:44] 759*2^1437452-1 is not prime. Res64: 301C16EBDF31F08A Time : 0.0 sec. user=mdettweiler [2016-08-14 07:31:44] 983*2^1437452-1 is not prime. Res64: 9C9FA0B42600982B Time : 0.0 sec. user=mdettweiler [2016-08-14 07:38:28] 995*2^1437452-1 is not prime. Res64: 645CEE03DCA56DBA Time : 0.0 sec. user=mdettweiler [2016-08-14 07:38:28] 679*2^1437453-1 is not prime. Res64: 56C38C551EE00EB6 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:38:28] 741*2^1437453-1 is not prime. Res64: 6CB9A4D657B1D141 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:38:29] 769*2^1437453-1 is not prime. Res64: C2A70F99B16CCA68 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:38:29] 867*2^1437453-1 is not prime. Res64: FD9536BEE5ACB468 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:51:05] 985*2^1437453-1 is not prime. Res64: FD3095C8C024C6BE Time : 0.0 sec. user=mdettweiler [2016-08-14 07:51:06] 999*2^1437453-1 is not prime. Res64: 313BCD6CE50DB02B Time : 0.0 sec. user=mdettweiler [2016-08-14 07:51:06] 623*2^1437454-1 is not prime. Res64: 311777E7DF6FBD09 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:51:07] 635*2^1437454-1 is not prime. Res64: 621DA6DB2BDF8004 Time : 0.0 sec. user=mdettweiler [2016-08-14 07:51:07] 773*2^1437454-1 is not prime. Res64: 516D5915F0A449BA Time : 0.0 sec. user=juhehe [2016-08-14 07:59:18] 759*2^1437456-1 is not prime. Res64: C005FBFF853FBFDB Time : 0.0 sec. user=mdettweiler [2016-08-14 08:02:19] 785*2^1437454-1 is not prime. Res64: 112A20A61DBF13CF Time : 0.0 sec. user=mdettweiler [2016-08-14 08:02:21] 1001*2^1437454-1 is not prime. Res64: 65BE708B75FDE1A4 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:02:22] 669*2^1437456-1 is not prime. Res64: 1EF140B4B2064CF1 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:02:24] 719*2^1437456-1 is not prime. Res64: 819266ED7C2F4757 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:02:25] 723*2^1437456-1 is not prime. Res64: 878BE273D8C389AD Time : 0.0 sec. user=mdettweiler [2016-08-14 08:16:31] 893*2^1437456-1 is not prime. Res64: EAA1C2F945729157 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:16:31] 661*2^1437457-1 is not prime. Res64: 6ADF6FA9BAE95F5A Time : 0.0 sec. user=mdettweiler [2016-08-14 08:16:32] 747*2^1437457-1 is not prime. Res64: B8F27CE1EB20E1E8 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:16:32] 759*2^1437457-1 is not prime. Res64: 8DF53A75405DF58D Time : 0.0 sec. user=mdettweiler [2016-08-14 08:16:33] 915*2^1437457-1 is not prime. Res64: CC13488CB8093D37 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:23:14] 955*2^1437457-1 is not prime. Res64: 1135EC88F01AC848 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:23:15] 831*2^1437458-1 is not prime. Res64: 47E385168EBA3BA3 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:23:15] 613*2^1437459-1 is not prime. Res64: 8C92CB53FEAD70F6 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:23:16] 735*2^1437459-1 is not prime. Res64: C09583407E4BA38D Time : 0.0 sec. user=mdettweiler [2016-08-14 08:23:16] 801*2^1437459-1 is not prime. Res64: BB9BF65658054F7B Time : 0.0 sec. user=mdettweiler [2016-08-14 08:35:52] 951*2^1437459-1 is not prime. Res64: 8A7C9F8F2CECC049 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:35:52] 603*2^1437460-1 is not prime. Res64: 0AFC2F43B5536D8F Time : 0.0 sec. user=mdettweiler [2016-08-14 08:35:52] 635*2^1437460-1 is not prime. Res64: C6DCFC21585D3ED3 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:35:56] 687*2^1437460-1 is not prime. Res64: 0B20B3A8F0A10504 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:35:56] 785*2^1437460-1 is not prime. Res64: 0DFB9CAC3CFAD020 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:47:28] 615*2^1437461-1 is not prime. Res64: 54391388F0ED283F Time : 0.0 sec. user=mdettweiler [2016-08-14 08:47:28] 735*2^1437461-1 is not prime. Res64: 7CF3E90B9B71C711 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:47:29] 795*2^1437461-1 is not prime. Res64: 878BCE7F15D3C7B6 Time : 0.0 sec. user=mdettweiler [2016-08-14 08:47:29] 957*2^1437461-1 is not prime. Res64: F0E07124635372DD Time : 0.0 sec. user=mdettweiler [2016-08-14 08:47:30] 621*2^1437462-1 is not prime. Res64: C77090A12A50B3F4 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:01:24] 651*2^1437462-1 is not prime. Res64: 805BBAD56D345B4B Time : 0.0 sec. user=mdettweiler [2016-08-14 09:01:25] 807*2^1437462-1 is not prime. Res64: D7B681E29498E67B Time : 0.0 sec. user=mdettweiler [2016-08-14 09:01:26] 867*2^1437462-1 is not prime. Res64: CD190E36FF1F2DCA Time : 0.0 sec. user=mdettweiler [2016-08-14 09:01:27] 705*2^1437463-1 is not prime. Res64: 69CD67F6C44B8E72 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:01:28] 709*2^1437463-1 is not prime. Res64: FF1825DEA6D5A6D0 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:08:05] 871*2^1437463-1 is not prime. Res64: 09CFCCBAAD1BEC5C Time : 0.0 sec. user=mdettweiler [2016-08-14 09:08:07] 993*2^1437463-1 is not prime. Res64: 2C0AEB13507AA902 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:08:08] 665*2^1437464-1 is not prime. Res64: 63304553BBC106D4 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:08:10] 725*2^1437464-1 is not prime. Res64: 8085BD8C196836BD Time : 0.0 sec. user=mdettweiler [2016-08-14 09:08:11] 869*2^1437464-1 is not prime. Res64: 3F7A5DCD0FB81FC9 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:20:33] 893*2^1437464-1 is not prime. Res64: EEE67C8C197816CF Time : 0.0 sec. user=mdettweiler [2016-08-14 09:20:34] 903*2^1437464-1 is not prime. Res64: 1490A1A728F5462C Time : 0.0 sec. user=mdettweiler [2016-08-14 09:20:34] 923*2^1437464-1 is not prime. Res64: B7D38F860EC31DE5 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:20:35] 935*2^1437464-1 is not prime. Res64: C6E79700B4263BEC Time : 0.0 sec. user=mdettweiler [2016-08-14 09:20:38] 685*2^1437465-1 is not prime. Res64: DFF2D785D4F6E3F0 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:32:21] 727*2^1437465-1 is not prime. Res64: DFDAB76A9497DD0C Time : 0.0 sec. user=mdettweiler [2016-08-14 09:32:22] 975*2^1437465-1 is not prime. Res64: 67F998C859572223 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:32:22] 617*2^1437466-1 is not prime. Res64: F7CACD7FA75E4F1F Time : 0.0 sec. user=mdettweiler [2016-08-14 09:32:22] 855*2^1437466-1 is not prime. Res64: 7C007805152134E4 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:32:23] 887*2^1437466-1 is not prime. Res64: EF8CDB610FAF7693 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:46:21] 911*2^1437466-1 is not prime. Res64: B6C8A3A4A9037EAE Time : 0.0 sec. user=mdettweiler [2016-08-14 09:46:21] 933*2^1437466-1 is not prime. Res64: 22C82B3897173551 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:46:21] 1001*2^1437466-1 is not prime. Res64: 7E013DB89ED59C5B Time : 0.0 sec. user=mdettweiler [2016-08-14 09:46:22] 603*2^1437467-1 is not prime. Res64: B388E4E072C64F6D Time : 0.0 sec. user=mdettweiler [2016-08-14 09:46:22] 619*2^1437467-1 is not prime. Res64: EB4065DBE6053746 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:53:17] 675*2^1437467-1 is not prime. Res64: C7D2F1FFBD3CCB95 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:53:22] 685*2^1437467-1 is not prime. Res64: AE697F92784CBE39 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:53:22] 705*2^1437467-1 is not prime. Res64: B91C2AD5F2DA10CC Time : 0.0 sec. user=mdettweiler [2016-08-14 09:53:22] 781*2^1437467-1 is not prime. Res64: C4B88AAD0D929B30 Time : 0.0 sec. user=mdettweiler [2016-08-14 09:53:23] 859*2^1437467-1 is not prime. Res64: 5DA2D4E5EE2C4E10 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:05:25] 909*2^1437467-1 is not prime. Res64: 037479EE2D9594C6 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:05:27] 931*2^1437467-1 is not prime. Res64: 84041AECBCBA24A8 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:05:28] 955*2^1437467-1 is not prime. Res64: 39C7093998314335 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:05:29] 979*2^1437467-1 is not prime. Res64: AB72FCC0F0D2C72C Time : 0.0 sec. user=mdettweiler [2016-08-14 10:05:30] 689*2^1437468-1 is not prime. Res64: 759E054C6737117D Time : 0.0 sec. user=mdettweiler [2016-08-14 10:17:09] 767*2^1437468-1 is not prime. Res64: 3F3C7FF9AEC259A0 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:17:09] 933*2^1437468-1 is not prime. Res64: A680B1FC900CDAE8 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:17:10] 993*2^1437468-1 is not prime. Res64: 281948E34759BDDC Time : 0.0 sec. user=mdettweiler [2016-08-14 10:17:10] 601*2^1437469-1 is not prime. Res64: 8331A09D67D5755B Time : 0.0 sec. user=mdettweiler [2016-08-14 10:17:11] 745*2^1437469-1 is not prime. Res64: 20DFA83229C191A2 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:31:09] 811*2^1437469-1 is not prime. Res64: 8F8C14A9A2556734 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:31:10] 877*2^1437469-1 is not prime. Res64: 559CFCDA980EEFC5 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:31:10] 951*2^1437469-1 is not prime. Res64: 9548834764D957E9 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:31:10] 741*2^1437470-1 is not prime. Res64: AE9FE589456DDC9B Time : 0.0 sec. user=mdettweiler [2016-08-14 10:31:11] 791*2^1437470-1 is not prime. Res64: 14916A42AFF30710 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:38:24] 857*2^1437470-1 is not prime. Res64: D372BF71D9484A9A Time : 0.0 sec. user=mdettweiler [2016-08-14 10:38:24] 923*2^1437470-1 is not prime. Res64: 16CBA31976F7C40D Time : 0.0 sec. user=mdettweiler [2016-08-14 10:38:25] 953*2^1437470-1 is not prime. Res64: 3671B01838067B3D Time : 0.0 sec. user=mdettweiler [2016-08-14 10:38:25] 613*2^1437471-1 is not prime. Res64: 6FE8CE65EACF1D43 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:38:25] 685*2^1437471-1 is not prime. Res64: 3AC97056A214B250 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:50:17] 741*2^1437471-1 is not prime. Res64: 562ECEB368AB0B94 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:50:18] 879*2^1437471-1 is not prime. Res64: 776E8AD4841FECA4 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:50:18] 891*2^1437471-1 is not prime. Res64: 99B9696B39E49B44 Time : 0.0 sec. user=mdettweiler [2016-08-14 10:50:18] 955*2^1437471-1 is not prime. Res64: 782C10E88A58D6AF Time : 0.0 sec. user=mdettweiler [2016-08-14 10:50:19] 973*2^1437471-1 is not prime. Res64: B72EB8040D8F5182 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:02:22] 975*2^1437471-1 is not prime. Res64: 31596495654F6AD6 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:02:23] 713*2^1437472-1 is not prime. Res64: E6FFB28940E0DF70 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:02:24] 873*2^1437472-1 is not prime. Res64: F7B0652DD3B98313 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:02:25] 957*2^1437472-1 is not prime. Res64: C5A533D9D801D79E Time : 0.0 sec. user=mdettweiler [2016-08-14 11:02:29] 631*2^1437473-1 is not prime. Res64: 86F8EC37CE1E087A Time : 0.0 sec. user=mdettweiler [2016-08-14 11:16:22] 697*2^1437473-1 is not prime. Res64: B239B72A7E498C63 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:16:22] 729*2^1437473-1 is not prime. Res64: F0A75634E8C212BA Time : 0.0 sec. user=mdettweiler [2016-08-14 11:16:23] 735*2^1437473-1 is not prime. Res64: C582645E8B21D3EA Time : 0.0 sec. user=mdettweiler [2016-08-14 11:16:23] 885*2^1437473-1 is not prime. Res64: D99CE08899AD1B6B Time : 0.0 sec. user=mdettweiler [2016-08-14 11:16:24] 969*2^1437473-1 is not prime. Res64: 97AD6F7ACEB2A338 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:23:38] 981*2^1437473-1 is not prime. Res64: B1EA2C3E9D6E29D1 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:23:38] 621*2^1437474-1 is not prime. Res64: C7A9BB701EF2D3AB Time : 0.0 sec. user=mdettweiler [2016-08-14 11:23:39] 741*2^1437474-1 is not prime. Res64: 93C4FDDDD124958D Time : 0.0 sec. user=mdettweiler [2016-08-14 11:23:39] 891*2^1437474-1 is not prime. Res64: DD67DED1B79C6FDA Time : 0.0 sec. user=mdettweiler [2016-08-14 11:23:40] 971*2^1437474-1 is not prime. Res64: A0F5E945BE875EE7 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:35:34] 993*2^1437474-1 is not prime. Res64: D3546DAD016AF8B7 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:35:37] 609*2^1437475-1 is not prime. Res64: 79BBF1E976A9C796 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:35:38] 645*2^1437475-1 is not prime. Res64: B62ED4394E936DC0 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:35:39] 649*2^1437475-1 is not prime. Res64: 470FE8696B69A7AC Time : 0.0 sec. user=mdettweiler [2016-08-14 11:35:39] 675*2^1437475-1 is not prime. Res64: B6A0741606353A61 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:47:38] 789*2^1437475-1 is not prime. Res64: AC876087EAAA58B8 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:47:38] 855*2^1437475-1 is not prime. Res64: 807EC6264131F80C Time : 0.0 sec. user=mdettweiler [2016-08-14 11:47:39] 749*2^1437476-1 is not prime. Res64: FCB65BE0C77EC5E9 Time : 0.0 sec. user=mdettweiler [2016-08-14 11:47:39] 789*2^1437476-1 is not prime. Res64: 96BFE41FA4063CAB Time : 0.0 sec. user=mdettweiler [2016-08-14 11:47:40] 825*2^1437476-1 is not prime. Res64: 3C66D8032C033C44 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:01:23] 839*2^1437476-1 is not prime. Res64: 4B729C98E3860997 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:01:25] 935*2^1437476-1 is not prime. Res64: EB5393BEEC8E999C Time : 0.0 sec. user=mdettweiler [2016-08-14 12:01:28] 747*2^1437477-1 is not prime. Res64: CDC229E24E6B48C8 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:01:29] 927*2^1437477-1 is not prime. Res64: 8145B39054632345 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:01:31] 663*2^1437478-1 is not prime. Res64: 35FAF5C7B91BFB94 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:08:34] 681*2^1437478-1 is not prime. Res64: 40F016C50DB5EEAE Time : 0.0 sec. user=mdettweiler [2016-08-14 12:08:35] 737*2^1437478-1 is not prime. Res64: FAC2F9EB2555F9CD Time : 0.0 sec. user=mdettweiler [2016-08-14 12:08:36] 773*2^1437478-1 is not prime. Res64: 72409170D3359B02 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:08:39] 777*2^1437478-1 is not prime. Res64: DF9A1A65F8F3A0F9 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:08:41] 975*2^1437478-1 is not prime. Res64: 073110E2E491EE99 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:20:35] 1001*2^1437478-1 is not prime. Res64: 8225EAD4B1D12323 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:20:36] 615*2^1437479-1 is not prime. Res64: 68A776F893DA62BD Time : 0.0 sec. user=mdettweiler [2016-08-14 12:20:36] 675*2^1437479-1 is not prime. Res64: 36B2FBF659BD6632 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:20:36] 741*2^1437479-1 is not prime. Res64: D5FBF417F131CF27 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:20:37] 771*2^1437479-1 is not prime. Res64: 274AEB8811A1BCD6 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:32:36] 885*2^1437479-1 is not prime. Res64: 801B1F5AB70F6A9C Time : 0.0 sec. user=mdettweiler [2016-08-14 12:32:37] 943*2^1437479-1 is not prime. Res64: 8760075A3FBB2942 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:32:37] 955*2^1437479-1 is not prime. Res64: 76E1DE28166BDD12 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:32:38] 973*2^1437479-1 is not prime. Res64: 59CC7F0633E092FC Time : 0.0 sec. user=mdettweiler [2016-08-14 12:32:38] 615*2^1437480-1 is not prime. Res64: D559F865D03E9F34 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:54:04] 625*2^1437481-1 is not prime. Res64: 00B7125F55601FE7 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:54:04] 645*2^1437481-1 is not prime. Res64: 9FF344F104D06513 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:54:05] 735*2^1437482-1 is not prime. Res64: D032D46DFC899F71 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:54:05] 885*2^1437482-1 is not prime. Res64: F31A05AB902F36E1 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:54:06] 941*2^1437482-1 is not prime. Res64: 96824DB4FC5E14BA Time : 0.0 sec. user=mdettweiler [2016-08-14 12:55:38] 623*2^1437480-1 is not prime. Res64: 359A19EA6A2FD497 Time : 0.0 sec. user=mdettweiler [2016-08-14 12:55:39] 767*2^1437480-1 is not prime. Res64: 6F2647132E1AD28D Time : 0.0 sec. user=mdettweiler [2016-08-14 12:55:39] 809*2^1437480-1 is not prime. Res64: FB7880718435A85E Time : 0.0 sec. user=mdettweiler [2016-08-14 12:55:39] 825*2^1437480-1 is not prime. Res64: C9045FAD4071BAEF Time : 0.0 sec. user=mdettweiler [2016-08-14 12:55:40] 927*2^1437480-1 is not prime. Res64: 54E9410435BEDCB0 Time : 0.0 sec. user=mdettweiler [2016-08-14 13:05:37] 963*2^1437482-1 is not prime. Res64: FF09C75DAD98708B Time : 0.0 sec. user=mdettweiler [2016-08-14 13:17:50] 759*2^1437484-1 is not prime. Res64: 4D17DEAB25D612F6 Time : 0.0 sec. user=mdettweiler [2016-08-14 13:17:51] 905*2^1437484-1 is not prime. Res64: A95747B7104F02E4 Time : 0.0 sec. user=mdettweiler [2016-08-14 13:17:51] 927*2^1437484-1 is not prime. Res64: 6CC412DA08E967C1 Time : 0.0 sec. user=mdettweiler [2016-08-14 13:17:52] 657*2^1437485-1 is not prime. Res64: 621BCF7EA2562F11 Time : 0.0 sec. user=mdettweiler [2016-08-14 13:17:52] 691*2^1437485-1 is not prime. Res64: 6F49C1312919FA85 Time : 0.0 sec. user=mdettweiler [2016-08-14 13:39:51] 699*2^1437485-1 is not prime. Res64: 5A359CE8684D0A15 Time : 0.0 sec. user=mdettweiler [2016-08-14 13:39:51] 787*2^1437485-1 is not prime. Res64: F93A7EC0061455CF Time : 0.0 sec. user=mdettweiler [2016-08-14 13:39:52] 889*2^1437485-1 is not prime. Res64: 4CF6606EFC716609 Time : 0.0 sec. user=mdettweiler [2016-08-14 13:39:52] 955*2^1437485-1 is not prime. Res64: D44A2C13B57BE209 Time : 0.0 sec. user=mdettweiler [2016-08-14 13:39:53] 627*2^1437486-1 is not prime. Res64: F23ACD0D80013675 Time : 0.0 sec. user=mdettweiler [2016-08-14 13:41:41] 683*2^1437486-1 is not prime. Res64: D3EA93AAA258E85F Time : 0.0 sec. user=mdettweiler [2016-08-14 13:41:42] 707*2^1437486-1 is not prime. Res64: A391536ECCC9537D Time : 0.0 sec. user=mdettweiler [2016-08-14 13:41:46] 711*2^1437486-1 is not prime. Res64: BA8BF4A6B0A6574A Time : 0.0 sec. user=mdettweiler [2016-08-14 13:41:46] 723*2^1437486-1 is not prime. Res64: A2A0FF4B95E6ACBD Time : 0.0 sec. user=mdettweiler [2016-08-14 13:41:46] 767*2^1437486-1 is not prime. Res64: E21E3634B2D32BE5 Time : 0.0 sec. user=mdettweiler [2016-08-14 14:04:39] 777*2^1437486-1 is not prime. Res64: 23B7DAF9B414F53B Time : 0.0 sec. user=mdettweiler [2016-08-14 14:28:24] 645*2^1437487-1 is not prime. Res64: 3B07BC0D19F713DA Time : 0.0 sec. user=mdettweiler [2016-08-14 14:28:25] 673*2^1437487-1 is not prime. Res64: 6CE039AF9C5505C9 Time : 0.0 sec. user=mdettweiler [2016-08-14 14:28:25] 703*2^1437487-1 is not prime. Res64: B9C7CF40650FCAAE Time : 0.0 sec. user=mdettweiler [2016-08-14 14:28:26] 715*2^1437487-1 is not prime. Res64: B5D59E7D09FD1E7E Time : 0.0 sec. user=mdettweiler [2016-08-14 14:28:26] 741*2^1437487-1 is not prime. Res64: FA25FC31497CE511 Time : 0.0 sec. user=mdettweiler [2016-08-14 14:29:43] 885*2^1437487-1 is not prime. Res64: 03E775F5499A63B2 Time : 0.0 sec. user=mdettweiler [2016-08-14 14:29:43] 945*2^1437487-1 is not prime. Res64: 4192DE7333CCF1FA Time : 0.0 sec. user=mdettweiler [2016-08-14 14:29:44] 975*2^1437487-1 is not prime. Res64: FEBF4B1E9EB3911F Time : 0.0 sec. user=mdettweiler [2016-08-14 14:29:44] 699*2^1437488-1 is not prime. Res64: B063E5E296C9463B Time : 0.0 sec. user=mdettweiler [2016-08-14 14:29:44] 935*2^1437488-1 is not prime. Res64: E10BEF6954F403F8 Time : 0.0 sec. user=mdettweiler [2016-08-14 15:18:30] 945*2^1437488-1 is not prime. Res64: BA4E6A8EFED50D01 Time : 0.0 sec. user=mdettweiler [2016-08-14 15:18:31] 609*2^1437489-1 is not prime. Res64: C4691666A79847DF Time : 0.0 sec. user=mdettweiler [2016-08-14 15:18:32] 705*2^1437489-1 is not prime. Res64: 37A6279D902FEC4E Time : 0.0 sec. user=mdettweiler [2016-08-14 15:18:32] 765*2^1437489-1 is not prime. Res64: AC34D0507E9475C3 Time : 0.0 sec. user=mdettweiler [2016-08-14 15:18:32] 867*2^1437489-1 is not prime. Res64: 19C66097086E45D5 Time : 0.0 sec. user=mdettweiler [2016-08-14 15:19:41] 635*2^1437490-1 is not prime. Res64: 9F9F04B65F93086E Time : 0.0 sec. user=mdettweiler [2016-08-14 15:19:42] 677*2^1437490-1 is not prime. Res64: F7EB95CF9FBF922D Time : 0.0 sec. user=mdettweiler [2016-08-14 15:19:42] 717*2^1437490-1 is not prime. Res64: EBA68E395F3D3D2B Time : 0.0 sec. user=mdettweiler [2016-08-14 15:19:43] 755*2^1437490-1 is not prime. Res64: D778162690745F77 Time : 0.0 sec. user=mdettweiler [2016-08-14 15:19:43] 765*2^1437490-1 is not prime. Res64: B6188ED845A0B591 Time : 0.0 sec. user=mdettweiler [2016-08-14 16:09:29] 791*2^1437490-1 is not prime. Res64: ACCB6CEC92556C4B Time : 0.0 sec. user=mdettweiler [2016-08-14 16:09:31] 971*2^1437490-1 is not prime. Res64: 9F6BFD3AF00EE9CA Time : 0.0 sec. user=mdettweiler [2016-08-14 16:09:34] 673*2^1437491-1 is not prime. Res64: 36877EDAA14F1D7A Time : 0.0 sec. user=mdettweiler [2016-08-14 16:09:36] 675*2^1437491-1 is not prime. Res64: FA3E02633DCED825 Time : 0.0 sec. user=mdettweiler [2016-08-14 16:09:39] 735*2^1437491-1 is not prime. Res64: 948C7A8E1ABE87B5 Time : 0.0 sec. user=mdettweiler [2016-08-14 16:11:24] 759*2^1437491-1 is not prime. Res64: A1FF2D3EF82CFA9B Time : 0.0 sec. user=mdettweiler [2016-08-14 16:11:24] 903*2^1437492-1 is not prime. Res64: 25B144C505234078 Time : 0.0 sec. user=mdettweiler [2016-08-14 16:11:25] 923*2^1437492-1 is not prime. Res64: D572CA4BE79E885C Time : 0.0 sec. user=mdettweiler [2016-08-14 16:11:25] 619*2^1437493-1 is not prime. Res64: D98276ABDCA2A1FD Time : 0.0 sec. user=mdettweiler [2016-08-14 16:11:25] 639*2^1437493-1 is not prime. Res64: 592ED8641A0FC89E Time : 0.0 sec. user=mdettweiler [2016-08-14 16:55:44] 977*2^1437482-1 is not prime. Res64: F9EB3CE4E62E7A2B Time : 0.0 sec. user=mdettweiler [2016-08-14 16:55:44] 781*2^1437483-1 is not prime. Res64: 6DE8A89FD74A2005 Time : 0.0 sec. user=mdettweiler [2016-08-14 16:55:45] 963*2^1437483-1 is not prime. Res64: 8E5A60AC737FDADA Time : 0.0 sec. user=mdettweiler [2016-08-14 16:55:45] 991*2^1437483-1 is not prime. Res64: D2009C40B00F518B Time : 0.0 sec. user=mdettweiler [2016-08-14 17:03:37] 681*2^1437493-1 is not prime. Res64: A1F0BC682338763C Time : 0.0 sec. user=mdettweiler [2016-08-14 17:03:41] 687*2^1437493-1 is not prime. Res64: 012F8DDD8CC57DB8 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:03:44] 775*2^1437493-1 is not prime. Res64: C3627CA1F5684FE5 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:03:49] 895*2^1437493-1 is not prime. Res64: DF4A35FE74B6467C Time : 0.0 sec. user=mdettweiler [2016-08-14 17:03:51] 987*2^1437493-1 is not prime. Res64: 22E2CB34E17ECECD Time : 0.0 sec. user=mdettweiler [2016-08-14 17:04:55] 617*2^1437494-1 is not prime. Res64: 88467E01F7D01C70 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:04:57] 815*2^1437494-1 is not prime. Res64: 7EA2F6CED6405BA5 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:04:58] 861*2^1437494-1 is not prime. Res64: B8AAAD8CE11FEF0F Time : 0.0 sec. user=mdettweiler [2016-08-14 17:04:59] 619*2^1437495-1 is not prime. Res64: F7FEDF61B6488454 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:05:00] 691*2^1437495-1 is not prime. Res64: B057AEB945130811 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:41:30] 735*2^1437495-1 is not prime. Res64: 8930B346F3A3C298 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:41:30] 829*2^1437495-1 is not prime. Res64: 1B1A897A45E678FE Time : 0.0 sec. user=mdettweiler [2016-08-14 17:41:31] 853*2^1437495-1 is not prime. Res64: 3A341AD841C64493 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:41:31] 885*2^1437495-1 is not prime. Res64: CFFFC120D190DC6B Time : 0.0 sec. user=mdettweiler [2016-08-14 17:41:32] 943*2^1437495-1 is not prime. Res64: A98BDA842E6CE0C5 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:50:24] 951*2^1437495-1 is not prime. Res64: 998C453056DA02A5 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:50:27] 955*2^1437495-1 is not prime. Res64: AFDA4871FC908456 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:50:27] 645*2^1437496-1 is not prime. Res64: 61A18EB783333B5C Time : 0.0 sec. user=mdettweiler [2016-08-14 17:50:27] 825*2^1437496-1 is not prime. Res64: 6E9B0AC5C252AD81 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:50:28] 857*2^1437496-1 is not prime. Res64: 2A9A41A34CACD43E Time : 0.0 sec. user=mdettweiler [2016-08-14 17:51:11] 903*2^1437496-1 is not prime. Res64: 19A02A67BD894363 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:51:12] 917*2^1437496-1 is not prime. Res64: C2C2B5D47729AECF Time : 0.0 sec. user=mdettweiler [2016-08-14 17:51:12] 933*2^1437496-1 is not prime. Res64: 523782754A94CABB Time : 0.0 sec. user=mdettweiler [2016-08-14 17:51:13] 975*2^1437496-1 is not prime. Res64: 15242CBA505FD287 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:51:16] 685*2^1437497-1 is not prime. Res64: 6A985F5C227F706C Time : 0.0 sec. user=mdettweiler [2016-08-14 17:52:23] 783*2^1437486-1 is not prime. Res64: 742A9244838BDCD7 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:52:24] 891*2^1437486-1 is not prime. Res64: EE27A84F6BDBC017 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:52:24] 917*2^1437486-1 is not prime. Res64: F40AEF1949E739C4 Time : 0.0 sec. user=mdettweiler [2016-08-14 17:52:25] 993*2^1437486-1 is not prime. Res64: 014F6E7B72158C17 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:35:38] 639*2^1437499-1 is not prime. Res64: 97420800D3CF3651 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:35:38] 723*2^1437499-1 is not prime. Res64: EE036984B3BB0420 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:35:39] 733*2^1437499-1 is not prime. Res64: AE3CA1709CFE8843 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:35:39] 843*2^1437499-1 is not prime. Res64: 73F6D2B2F00D6604 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:35:41] 635*2^1437500-1 is not prime. Res64: 2ECED48F6EDB6056 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:36:13] 669*2^1437500-1 is not prime. Res64: D1DD8E3835418DBF Time : 0.0 sec. user=mdettweiler [2016-08-14 18:36:14] 767*2^1437500-1 is not prime. Res64: D428D15328EB7702 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:36:14] 789*2^1437500-1 is not prime. Res64: 918BB63EECA3A3E1 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:36:15] 843*2^1437500-1 is not prime. Res64: B5076099BA1F9358 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:36:15] 845*2^1437500-1 is not prime. Res64: FBD02E2A10AAD847 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:37:20] 885*2^1437500-1 is not prime. Res64: E80B70922E5CF253 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:37:20] 657*2^1437502-1 is not prime. Res64: C6FC5CFE5E15FE9D Time : 0.0 sec. user=mdettweiler [2016-08-14 18:37:21] 923*2^1437502-1 is not prime. Res64: 618811B8EFA95902 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:37:21] 759*2^1437503-1 is not prime. Res64: 39ECE5D21DCB3434 Time : 0.0 sec. user=mdettweiler [2016-08-14 18:37:25] 859*2^1437503-1 is not prime. Res64: 2F8D012ACB27A195 Time : 0.0 sec. user=mdettweiler [2016-08-14 19:21:26] 879*2^1437503-1 is not prime. Res64: 75C9D198320C7A01 Time : 0.0 sec. user=mdettweiler [2016-08-14 19:21:26] 689*2^1437504-1 is not prime. Res64: 49EB3966D7426183 Time : 0.0 sec. user=mdettweiler [2016-08-14 19:21:27] 705*2^1437504-1 is not prime. Res64: 56D0D8D29C6CFCE1 Time : 0.0 sec. user=mdettweiler [2016-08-14 19:21:27] 887*2^1437504-1 is not prime. Res64: B76994D3CFC1EDA0 Time : 0.0 sec. user=mdettweiler [2016-08-14 19:21:27] 969*2^1437504-1 is not prime. Res64: 834E898ED7A9BADF Time : 0.0 sec. user=mdettweiler [2016-08-14 19:21:34] 649*2^1437505-1 is not prime. Res64: 1BC0131AC2BFA329 Time : 0.0 sec. user=mdettweiler [2016-08-14 19:21:34] 765*2^1437505-1 is not prime. Res64: 06017A972C18173B Time : 0.0 sec. user=mdettweiler [2016-08-14 19:21:34] 951*2^1437505-1 is not prime. Res64: 4D572DCCC18D1782 Time : 0.0 sec. user=mdettweiler [2016-08-14 19:21:35] 979*2^1437505-1 is not prime. Res64: 5BA2EB4F56308D82 Time : 0.0 sec. user=mdettweiler [2016-08-14 19:21:38] 705*2^1437506-1 is not prime. Res64: F93D91AF8F9D97F8 Time : 0.0 sec. user=mdettweiler [2016-08-14 19:22:48] 711*2^1437506-1 is not prime. Res64: BF46F7DD6720EF68 Time : 0.0 sec. user=mdettweiler [2016-08-14 19:22:49] 785*2^1437506-1 is not prime. Res64: B5AD8525A0330C39 Time : 0.0 sec. user=mdettweiler [2016-08-14 19:22:49] 921*2^1437506-1 is not prime. Res64: B173C9E84E2E4A2D Time : 0.0 sec. user=mdettweiler [2016-08-14 19:22:50] 957*2^1437506-1 is not prime. Res64: B0AE562C3D7286F4 Time : 0.0 sec. user=mdettweiler [2016-08-14 19:22:50] 609*2^1437507-1 is not prime. Res64: D4BB9C221336D3F1 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:07:03] 705*2^1437507-1 is not prime. Res64: F59921EF756C16E6 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:07:04] 751*2^1437507-1 is not prime. Res64: A3A643AD02E73013 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:07:06] 765*2^1437507-1 is not prime. Res64: 6E708A01DE12F489 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:07:07] 825*2^1437507-1 is not prime. Res64: 4925A999AA36C115 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:07:08] 963*2^1437507-1 is not prime. Res64: 33858C2AFF1E4419 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:07:32] 973*2^1437507-1 is not prime. Res64: 0F2C2CDF2F37FBCD Time : 0.0 sec. user=mdettweiler [2016-08-14 20:07:33] 657*2^1437508-1 is not prime. Res64: BD572296A6B552F7 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:07:33] 687*2^1437508-1 is not prime. Res64: F13230916313D038 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:07:33] 773*2^1437508-1 is not prime. Res64: 8695D15173ABDB30 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:07:34] 777*2^1437508-1 is not prime. Res64: 0998F08D8672BEF0 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:08:37] 905*2^1437508-1 is not prime. Res64: E61956413252721B Time : 0.0 sec. user=mdettweiler [2016-08-14 20:08:38] 927*2^1437508-1 is not prime. Res64: F1AB5DB67C04FDF9 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:08:38] 987*2^1437508-1 is not prime. Res64: 26A10073A51A3F6A Time : 0.0 sec. user=mdettweiler [2016-08-14 20:08:39] 825*2^1437509-1 is not prime. Res64: 1066562A9762611E Time : 0.0 sec. user=mdettweiler [2016-08-14 20:08:39] 865*2^1437509-1 is not prime. Res64: E15FD2E4ABCFB0F8 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:52:57] 969*2^1437509-1 is not prime. Res64: B8C3B56662639A02 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:52:57] 801*2^1437510-1 is not prime. Res64: D956959A17E5B155 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:52:58] 825*2^1437510-1 is not prime. Res64: 01E74D50EC4CB5A4 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:52:58] 851*2^1437510-1 is not prime. Res64: 51AA03B67C55F28F Time : 0.0 sec. user=mdettweiler [2016-08-14 20:52:58] 891*2^1437510-1 is not prime. Res64: 0E5EAA0E36598966 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:53:05] 893*2^1437510-1 is not prime. Res64: E0A3D9448770A46F Time : 0.0 sec. user=mdettweiler [2016-08-14 20:53:06] 927*2^1437510-1 is not prime. Res64: CE6449A9057C5023 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:53:06] 965*2^1437510-1 is not prime. Res64: C490610624459876 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:53:06] 675*2^1437511-1 is not prime. Res64: F59613E732ED893F Time : 0.0 sec. user=mdettweiler [2016-08-14 20:53:07] 861*2^1437511-1 is not prime. Res64: 0E54A8982A83872B Time : 0.0 sec. user=mdettweiler [2016-08-14 20:54:15] 617*2^1437512-1 is not prime. Res64: C78D5EF2EA03A359 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:54:15] 837*2^1437512-1 is not prime. Res64: 7201A1C210050CD7 Time : 0.0 sec. user=mdettweiler [2016-08-14 20:54:15] 915*2^1437512-1 is not prime. Res64: E92811D4D8CDD52A Time : 0.0 sec. user=mdettweiler [2016-08-14 20:54:16] 615*2^1437513-1 is not prime. Res64: 667CF75FBA8E3B0D Time : 0.0 sec. user=mdettweiler [2016-08-14 20:54:16] 735*2^1437513-1 is not prime. Res64: 8DC24BE490E8084E Time : 0.0 sec. user=mdettweiler [2016-08-14 21:21:09] 747*2^1437497-1 is not prime. Res64: E638161841A11038 Time : 0.0 sec. user=mdettweiler [2016-08-14 21:21:10] 867*2^1437497-1 is not prime. Res64: 93F8B831ED77F49E Time : 0.0 sec. user=mdettweiler [2016-08-14 21:21:10] 755*2^1437498-1 is not prime. Res64: 9794B86318E7217F Time : 0.0 sec. user=mdettweiler [2016-08-14 21:21:11] 765*2^1437498-1 is not prime. Res64: F8A5758B1BF5450A Time : 0.0 sec. user=mdettweiler [2016-08-14 21:21:11] 861*2^1437498-1 is not prime. Res64: 5E1B7C4D5C4704DD Time : 0.0 sec. user=mdettweiler [2016-08-14 21:38:11] 723*2^1437514-1 is not prime. Res64: 80EB66798C1E6C22 Time : 0.0 sec. user=mdettweiler [2016-08-14 21:38:11] 773*2^1437514-1 is not prime. Res64: 96E080BAC4722BE8 Time : 0.0 sec. user=mdettweiler [2016-08-14 21:38:12] 791*2^1437514-1 is not prime. Res64: F2239037DCF34D5A Time : 0.0 sec. user=mdettweiler [2016-08-14 21:38:12] 833*2^1437514-1 is not prime. Res64: E99F222B2CDFED37 Time : 0.0 sec. user=mdettweiler [2016-08-14 21:38:12] 861*2^1437514-1 is not prime. Res64: 35CEAB11497A720C Time : 0.0 sec. user=mdettweiler [2016-08-14 21:38:23] 759*2^1437513-1 is not prime. Res64: CEB00F1E16FEF6D1 Time : 0.0 sec. user=mdettweiler [2016-08-14 21:38:24] 765*2^1437513-1 is not prime. Res64: 03D41C9C4FE1C7B6 Time : 0.0 sec. user=mdettweiler [2016-08-14 21:38:24] 805*2^1437513-1 is not prime. Res64: 2C4FD66014A34FF4 Time : 0.0 sec. user=mdettweiler [2016-08-14 21:38:25] 681*2^1437514-1 is not prime. Res64: 683CDF51F243570B Time : 0.0 sec. user=mdettweiler [2016-08-14 21:38:25] 701*2^1437514-1 is not prime. Res64: C821DEE56E5CAF17 Time : 0.0 sec. user=mdettweiler [2016-08-14 21:39:45] 885*2^1437514-1 is not prime. Res64: C55C445C0108CC8E Time : 0.0 sec. user=mdettweiler [2016-08-14 21:39:46] 945*2^1437514-1 is not prime. Res64: D643D3B73E4FE288 Time : 0.0 sec. user=mdettweiler [2016-08-14 21:39:46] 957*2^1437514-1 is not prime. Res64: 9B264133C15454FD Time : 0.0 sec. user=mdettweiler [2016-08-14 21:39:47] 603*2^1437515-1 is not prime. Res64: 29DEE8197A246064 Time : 0.0 sec. user=mdettweiler [2016-08-14 21:39:47] 619*2^1437515-1 is not prime. Res64: 18C0D2773BB39F28 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:06:10] 783*2^1437515-1 is not prime. Res64: 250B07BFEBED43EF Time : 0.0 sec. user=mdettweiler [2016-08-14 22:06:11] 843*2^1437515-1 is not prime. Res64: 3B8D19DB707A5A62 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:06:13] 885*2^1437515-1 is not prime. Res64: D1995FF936E5FBE4 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:06:15] 973*2^1437515-1 is not prime. Res64: 95BC66DDF4D935FC Time : 0.0 sec. user=mdettweiler [2016-08-14 22:06:16] 675*2^1437516-1 is not prime. Res64: FD8E1F4659DA35C0 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:23:08] 809*2^1437516-1 is not prime. Res64: 3039DA241F2F7496 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:23:09] 825*2^1437516-1 is not prime. Res64: F7B6A8ECF2F64ACE Time : 0.0 sec. user=mdettweiler [2016-08-14 22:23:09] 983*2^1437516-1 is not prime. Res64: 0A5F9002DD90DF81 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:23:10] 993*2^1437516-1 is not prime. Res64: C00A987F0F69B03C Time : 0.0 sec. user=mdettweiler [2016-08-14 22:23:10] 607*2^1437517-1 is not prime. Res64: 92B4497804FCE335 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:23:11] 651*2^1437517-1 is not prime. Res64: FF3CBEB7B42188DC Time : 0.0 sec. user=mdettweiler [2016-08-14 22:23:14] 777*2^1437517-1 is not prime. Res64: 8B11806165F63733 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:23:15] 895*2^1437517-1 is not prime. Res64: D3C8402AEFFC70A0 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:23:15] 641*2^1437518-1 is not prime. Res64: 858B355F99E13C45 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:23:16] 711*2^1437518-1 is not prime. Res64: 4D3E6DB36A24E905 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:24:43] 773*2^1437518-1 is not prime. Res64: 213C9257C62351C4 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:24:43] 801*2^1437518-1 is not prime. Res64: 010F6703A81EF79C Time : 0.0 sec. user=mdettweiler [2016-08-14 22:24:44] 833*2^1437518-1 is not prime. Res64: 2D63785B38AD4684 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:24:47] 843*2^1437518-1 is not prime. Res64: 21CCE9819FBDF6CA Time : 0.0 sec. user=mdettweiler [2016-08-14 22:24:48] 857*2^1437518-1 is not prime. Res64: 7AAEDF56224C3879 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:51:43] 867*2^1437518-1 is not prime. Res64: 9C42FCA0F33E5FC1 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:51:43] 987*2^1437518-1 is not prime. Res64: E7F5D2288D558D61 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:51:46] 675*2^1437519-1 is not prime. Res64: 4315D9D344041A5E Time : 0.0 sec. user=mdettweiler [2016-08-14 22:51:46] 735*2^1437519-1 is not prime. Res64: F8E2376F21C48284 Time : 0.0 sec. user=mdettweiler [2016-08-14 22:51:46] 741*2^1437519-1 is not prime. Res64: 71879445BD728BD9 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:08:14] 879*2^1437519-1 is not prime. Res64: C489D03CBB49B811 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:08:16] 615*2^1437520-1 is not prime. Res64: 9D2D6FED3DFB1144 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:08:17] 635*2^1437520-1 is not prime. Res64: F0934B19A8FC4F20 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:08:18] 653*2^1437520-1 is not prime. Res64: 8D4B685C4B5869C6 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:08:20] 719*2^1437520-1 is not prime. Res64: 7D3216401DC15FCB Time : 0.0 sec. user=mdettweiler [2016-08-14 23:08:38] 875*2^1437520-1 is not prime. Res64: 8580B47B42D2E37A Time : 0.0 sec. user=mdettweiler [2016-08-14 23:08:39] 917*2^1437520-1 is not prime. Res64: 815C149FCD9B21B3 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:08:40] 657*2^1437521-1 is not prime. Res64: A8D3C1D94FAE343E Time : 0.0 sec. user=mdettweiler [2016-08-14 23:08:41] 777*2^1437521-1 is not prime. Res64: 2BECABFCA18E72DA Time : 0.0 sec. user=mdettweiler [2016-08-14 23:08:42] 909*2^1437521-1 is not prime. Res64: 5F67AE54CA5C047D Time : 0.0 sec. user=mdettweiler [2016-08-14 23:10:01] 931*2^1437521-1 is not prime. Res64: A32111731B7AE71B Time : 0.0 sec. user=mdettweiler [2016-08-14 23:10:01] 803*2^1437522-1 is not prime. Res64: F219AC8A9FD1717D Time : 0.0 sec. user=mdettweiler [2016-08-14 23:10:02] 821*2^1437522-1 is not prime. Res64: F7B9253EC7EDCF18 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:10:02] 843*2^1437522-1 is not prime. Res64: 9BEFB150727FFD83 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:10:03] 873*2^1437522-1 is not prime. Res64: 70A274D3F8C3E6FE Time : 0.0 sec. user=mdettweiler [2016-08-14 23:36:40] 615*2^1437523-1 is not prime. Res64: 01B2EC5911BE5A48 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:36:40] 681*2^1437523-1 is not prime. Res64: A6FE7918F00348B4 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:36:43] 901*2^1437523-1 is not prime. Res64: 9E281A927988F594 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:36:43] 689*2^1437524-1 is not prime. Res64: 60ED7B3A3FC8E610 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:36:44] 743*2^1437524-1 is not prime. Res64: ADF78818D42788F4 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:53:12] 749*2^1437524-1 is not prime. Res64: DDDAFEC8CE04FE00 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:53:13] 837*2^1437524-1 is not prime. Res64: 1AA92A6AB6C0A5D9 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:53:13] 903*2^1437524-1 is not prime. Res64: AAEA7E2F70B8BC69 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:53:14] 959*2^1437524-1 is not prime. Res64: B376792F841FC11D Time : 0.0 sec. user=mdettweiler [2016-08-14 23:53:14] 627*2^1437525-1 is not prime. Res64: 57AF50ABFCDD74AA Time : 0.0 sec. user=mdettweiler [2016-08-14 23:53:41] 699*2^1437525-1 is not prime. Res64: 22262B5C15845F89 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:53:42] 805*2^1437525-1 is not prime. Res64: 1E99B1BCBD72ED74 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:53:42] 997*2^1437525-1 is not prime. Res64: 8C784B742A99C56A Time : 0.0 sec. user=mdettweiler [2016-08-14 23:53:43] 603*2^1437526-1 is not prime. Res64: B2A4D0B30D2A7EAF Time : 0.0 sec. user=mdettweiler [2016-08-14 23:53:43] 705*2^1437526-1 is not prime. Res64: 7F10F0D3EE7A7959 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:54:49] 717*2^1437526-1 is not prime. Res64: B6AF61B225C23059 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:54:50] 737*2^1437526-1 is not prime. Res64: EF95C003F0D069C3 Time : 0.0 sec. user=mdettweiler [2016-08-14 23:54:50] 755*2^1437526-1 is not prime. Res64: 40BDC58FF531981E Time : 0.0 sec. user=mdettweiler [2016-08-14 23:54:50] 813*2^1437526-1 is not prime. Res64: E95831E273581B1C Time : 0.0 sec. user=mdettweiler [2016-08-14 23:54:51] 843*2^1437526-1 is not prime. Res64: D7BDA2C09FBF40BF Time : 0.0 sec.