user=mdettweiler [2016-05-29 00:05:15] 705*2^1430694-1 is not prime. Res64: 2DE15009AF962832 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:05:17] 807*2^1430694-1 is not prime. Res64: 02DF83360CBCF7D9 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:05:17] 945*2^1430694-1 is not prime. Res64: 12E538005DD4EC63 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:05:18] 975*2^1430694-1 is not prime. Res64: 7E5FB1151A6A9049 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:05:19] 661*2^1430695-1 is not prime. Res64: B149D57A542A32F1 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:05:49] 679*2^1430695-1 is not prime. Res64: 55A79E36F3429838 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:05:50] 705*2^1430695-1 is not prime. Res64: E237EB44CA4890C0 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:05:51] 717*2^1430696-1 is not prime. Res64: 53BD545A60561770 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:05:52] 743*2^1430696-1 is not prime. Res64: C701AD700AFD1C03 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:05:53] 773*2^1430696-1 is not prime. Res64: 0DBB221228BBBA01 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:14:38] 789*2^1430696-1 is not prime. Res64: 4CC96F7473DEA0F7 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:14:38] 607*2^1430697-1 is not prime. Res64: 197982967FE6F62E Time : 0.0 sec. user=mdettweiler [2016-05-29 00:14:39] 627*2^1430697-1 is not prime. Res64: 0203D99B872474F7 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:14:39] 805*2^1430697-1 is not prime. Res64: A204FFB0E4EAF92F Time : 0.0 sec. user=mdettweiler [2016-05-29 00:14:39] 817*2^1430697-1 is not prime. Res64: 0E4D364D62B20EA1 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:30:57] 861*2^1430697-1 is not prime. Res64: B261C8B61B950FAE Time : 0.0 sec. user=mdettweiler [2016-05-29 00:30:57] 909*2^1430697-1 is not prime. Res64: DAD6C60F7BEB21BC Time : 0.0 sec. user=mdettweiler [2016-05-29 00:30:58] 955*2^1430697-1 is not prime. Res64: 852E6B2971A01479 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:30:58] 713*2^1430698-1 is not prime. Res64: 0E18FC3EC1A5BE6D Time : 0.0 sec. user=mdettweiler [2016-05-29 00:30:59] 987*2^1430698-1 is not prime. Res64: 7D55303F41494ABD Time : 0.0 sec. user=mdettweiler [2016-05-29 00:50:41] 711*2^1430699-1 is not prime. Res64: 27E923420B4A9D80 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:50:41] 823*2^1430699-1 is not prime. Res64: 437147E106D95D0E Time : 0.0 sec. user=mdettweiler [2016-05-29 00:50:42] 841*2^1430699-1 is not prime. Res64: 3FA68102EEFEAADB Time : 0.0 sec. user=mdettweiler [2016-05-29 00:50:42] 843*2^1430699-1 is not prime. Res64: AAEAB7C82140D51D Time : 0.0 sec. user=mdettweiler [2016-05-29 00:50:43] 939*2^1430699-1 is not prime. Res64: C93F39DB510C8C53 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:51:10] 969*2^1430699-1 is not prime. Res64: 50C0B81A625CFB01 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:51:10] 635*2^1430700-1 is not prime. Res64: 1F4645328017C535 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:51:11] 767*2^1430700-1 is not prime. Res64: 4B06E63CF6D9D126 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:51:11] 777*2^1430700-1 is not prime. Res64: 7CD61301826B02FA Time : 0.0 sec. user=mdettweiler [2016-05-29 00:51:11] 863*2^1430700-1 is not prime. Res64: 89FEC17FBAE6DA47 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:59:51] 875*2^1430700-1 is not prime. Res64: 976AFC4A3DCE9FF1 Time : 0.0 sec. user=mdettweiler [2016-05-29 00:59:52] 975*2^1430700-1 is not prime. Res64: 3FFC4D83AD7DD3EB Time : 0.0 sec. user=mdettweiler [2016-05-29 00:59:52] 741*2^1430701-1 is not prime. Res64: D6772982C945122D Time : 0.0 sec. user=mdettweiler [2016-05-29 00:59:52] 757*2^1430701-1 is not prime. Res64: 9E83CF6F85B319BE Time : 0.0 sec. user=mdettweiler [2016-05-29 00:59:53] 817*2^1430701-1 is not prime. Res64: F8D07C1E074A2ECC Time : 0.0 sec. user=mdettweiler [2016-05-29 01:16:08] 877*2^1430701-1 is not prime. Res64: 2758317C0A6D9285 Time : 0.0 sec. user=mdettweiler [2016-05-29 01:16:09] 939*2^1430701-1 is not prime. Res64: 384FDD604648D989 Time : 0.0 sec. user=mdettweiler [2016-05-29 01:16:09] 945*2^1430701-1 is not prime. Res64: 2630DF2417CE32BF Time : 0.0 sec. user=mdettweiler [2016-05-29 01:16:09] 967*2^1430701-1 is not prime. Res64: D3530FB5B337063C Time : 0.0 sec. user=mdettweiler [2016-05-29 01:16:10] 683*2^1430702-1 is not prime. Res64: 2043A88119137854 Time : 0.0 sec. user=mdettweiler [2016-05-29 01:35:49] 755*2^1430702-1 is not prime. Res64: 5E81C6E5EE47B49D Time : 0.0 sec. user=mdettweiler [2016-05-29 01:35:49] 767*2^1430702-1 is not prime. Res64: 25DD3F5B3E2B86A8 Time : 0.0 sec. user=mdettweiler [2016-05-29 01:35:50] 867*2^1430702-1 is not prime. Res64: F515B180B922676C Time : 0.0 sec. user=mdettweiler [2016-05-29 01:35:50] 639*2^1430703-1 is not prime. Res64: EE40A977F67A0830 Time : 0.0 sec. user=mdettweiler [2016-05-29 01:35:51] 775*2^1430703-1 is not prime. Res64: 964104C7FB70BE67 Time : 0.0 sec. user=mdettweiler [2016-05-29 01:36:29] 955*2^1430703-1 is not prime. Res64: E47AD0A5C65B8005 Time : 0.0 sec. user=mdettweiler [2016-05-29 01:36:29] 969*2^1430703-1 is not prime. Res64: 930DE0CA7DD25FCA Time : 0.0 sec. user=mdettweiler [2016-05-29 01:36:30] 719*2^1430704-1 is not prime. Res64: 314567AC415F2146 Time : 0.0 sec. user=mdettweiler [2016-05-29 01:36:30] 849*2^1430704-1 is not prime. Res64: 1C94736B658A837B Time : 0.0 sec. user=mdettweiler [2016-05-29 01:36:31] 869*2^1430704-1 is not prime. Res64: A063445160FAE513 Time : 0.0 sec. user=mdettweiler [2016-05-29 01:45:20] 899*2^1430704-1 is not prime. Res64: 2DA3F174866EEA6C Time : 0.0 sec. user=mdettweiler [2016-05-29 01:45:21] 705*2^1430705-1 is not prime. Res64: B55368CA31ACEFE3 Time : 0.0 sec. user=mdettweiler [2016-05-29 01:45:21] 781*2^1430705-1 is not prime. Res64: 9911FF6FBF31BDAB Time : 0.0 sec. user=mdettweiler [2016-05-29 01:45:21] 819*2^1430705-1 is not prime. Res64: 09C21D21D14319E3 Time : 0.0 sec. user=mdettweiler [2016-05-29 01:45:22] 741*2^1430706-1 is not prime. Res64: 57B4932F3BF22C03 Time : 0.0 sec. user=mdettweiler [2016-05-29 02:01:17] 783*2^1430706-1 is not prime. Res64: 0DCC2ED0991640F7 Time : 0.0 sec. user=mdettweiler [2016-05-29 02:01:18] 993*2^1430706-1 is not prime. Res64: 5CFF7152EE6978EC Time : 0.0 sec. user=mdettweiler [2016-05-29 02:01:19] 703*2^1430707-1 is not prime. Res64: 910CF1F322B73E27 Time : 0.0 sec. user=mdettweiler [2016-05-29 02:01:20] 819*2^1430707-1 is not prime. Res64: 040E06F47673C807 Time : 0.0 sec. user=mdettweiler [2016-05-29 02:01:21] 973*2^1430707-1 is not prime. Res64: B2D7539E6A11A222 Time : 0.0 sec. user=mdettweiler [2016-05-29 02:21:15] 735*2^1430708-1 is not prime. Res64: 648A0AFC8ACC66AF Time : 0.0 sec. user=mdettweiler [2016-05-29 02:21:16] 777*2^1430708-1 is not prime. Res64: 96B8932EF9F46061 Time : 0.0 sec. user=mdettweiler [2016-05-29 02:21:16] 797*2^1430708-1 is not prime. Res64: 95EB2257D2841C8F Time : 0.0 sec. user=mdettweiler [2016-05-29 02:21:17] 837*2^1430708-1 is not prime. Res64: 88DE3AEC9B21C8CF Time : 0.0 sec. user=mdettweiler [2016-05-29 02:21:17] 953*2^1430708-1 is not prime. Res64: 36F79733EFCC9BC4 Time : 0.0 sec. user=mdettweiler [2016-05-29 02:21:53] 977*2^1430708-1 is not prime. Res64: 18097B1162A4B98D Time : 0.0 sec. user=mdettweiler [2016-05-29 02:21:53] 649*2^1430709-1 is not prime. Res64: A0E3CF8F5B5F379C Time : 0.0 sec. user=mdettweiler [2016-05-29 02:21:54] 745*2^1430709-1 is not prime. Res64: DFEA515A452FF79F Time : 0.0 sec. user=mdettweiler [2016-05-29 02:21:54] 751*2^1430709-1 is not prime. Res64: 28ADA71F30B4E9DB Time : 0.0 sec. user=mdettweiler [2016-05-29 02:21:54] 789*2^1430709-1 is not prime. Res64: DC42FCBF7B280BD4 Time : 0.0 sec. user=mdettweiler [2016-05-29 02:30:55] 831*2^1430709-1 is not prime. Res64: C2DE9743A3AED398 Time : 0.0 sec. user=mdettweiler [2016-05-29 02:30:56] 847*2^1430709-1 is not prime. Res64: E343B70EC5159E9A Time : 0.0 sec. user=mdettweiler [2016-05-29 02:30:56] 921*2^1430709-1 is not prime. Res64: 57FB8A50E8B5F5FA Time : 0.0 sec. user=mdettweiler [2016-05-29 02:30:57] 603*2^1430710-1 is not prime. Res64: 16C9E623337CF9DF Time : 0.0 sec. user=mdettweiler [2016-05-29 02:30:58] 635*2^1430710-1 is not prime. Res64: E770D8E9BE2D4D21 Time : 0.0 sec. user=mdettweiler [2016-05-29 02:47:49] 741*2^1430710-1 is not prime. Res64: 1CB6BB865AEE4ADF Time : 0.0 sec. user=mdettweiler [2016-05-29 02:47:50] 773*2^1430710-1 is not prime. Res64: 22CEF48FCD552909 Time : 0.0 sec. user=mdettweiler [2016-05-29 02:47:50] 917*2^1430710-1 is not prime. Res64: C1D23678EE0805F2 Time : 0.0 sec. user=mdettweiler [2016-05-29 02:47:51] 601*2^1430711-1 is not prime. Res64: 31B969ECD46E85BE Time : 0.0 sec. user=mdettweiler [2016-05-29 02:47:51] 621*2^1430711-1 is not prime. Res64: CB875CAC1238AFD4 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:07:51] 693*2^1430711-1 is not prime. Res64: 945E41010CCA5425 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:07:52] 759*2^1430711-1 is not prime. Res64: 82A5E7215F25D951 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:07:52] 783*2^1430711-1 is not prime. Res64: 81F82E05109231DB Time : 0.0 sec. user=mdettweiler [2016-05-29 03:07:53] 859*2^1430711-1 is not prime. Res64: 0C1F63DAC4889C71 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:07:53] 879*2^1430711-1 is not prime. Res64: 9391BC46B320AE76 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:08:30] 943*2^1430711-1 is not prime. Res64: A70AE1CD7F6DFF56 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:08:30] 999*2^1430711-1 is not prime. Res64: 9E5B84106970556F Time : 0.0 sec. user=mdettweiler [2016-05-29 03:08:31] 623*2^1430712-1 is not prime. Res64: FC703916EE8386F1 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:08:31] 797*2^1430712-1 is not prime. Res64: 6C2DA1A0D8511525 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:08:32] 819*2^1430712-1 is not prime. Res64: 97DD05E3B1DE3302 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:17:31] 945*2^1430712-1 is not prime. Res64: 4F6E72A939124D43 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:17:31] 977*2^1430712-1 is not prime. Res64: DA3E9EB72936F36E Time : 0.0 sec. user=mdettweiler [2016-05-29 03:17:31] 807*2^1430713-1 is not prime. Res64: B36BAA576F53F434 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:17:32] 819*2^1430713-1 is not prime. Res64: CCF0B159C0D46985 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:17:32] 835*2^1430713-1 is not prime. Res64: EAEF07EE8BC74535 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:33:02] 861*2^1430713-1 is not prime. Res64: 38FF294FF3DCBFDB Time : 0.0 sec. user=mdettweiler [2016-05-29 03:33:05] 951*2^1430713-1 is not prime. Res64: BCEB199CC8E005D0 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:33:07] 987*2^1430713-1 is not prime. Res64: 0DFE7E125D79F560 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:33:08] 675*2^1430714-1 is not prime. Res64: 0E2842574D1E1A59 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:33:09] 687*2^1430714-1 is not prime. Res64: 2D72B5D9656ECBAF Time : 0.0 sec. user=mdettweiler [2016-05-29 03:53:01] 873*2^1430714-1 is not prime. Res64: C91324AEDD7E6B64 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:53:36] 739*2^1430715-1 is not prime. Res64: 8D7B9F158DDD5BEB Time : 0.0 sec. user=mdettweiler [2016-05-29 03:53:42] 805*2^1430715-1 is not prime. Res64: AC723E58E723AB67 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:53:43] 823*2^1430715-1 is not prime. Res64: 82DCE729BBE4EC00 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:53:43] 861*2^1430715-1 is not prime. Res64: B902886CCC900FD8 Time : 0.0 sec. user=mdettweiler [2016-05-29 03:53:44] 629*2^1430716-1 is not prime. Res64: CC031B0FC0A26269 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:02:55] 695*2^1430716-1 is not prime. Res64: 09F59171FAC7360C Time : 0.0 sec. user=mdettweiler [2016-05-29 04:02:56] 773*2^1430716-1 is not prime. Res64: 5F631D584A2A5DD2 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:02:57] 783*2^1430716-1 is not prime. Res64: 1AE11508E161031E Time : 0.0 sec. user=mdettweiler [2016-05-29 04:02:57] 833*2^1430716-1 is not prime. Res64: 2B6352A7C6DCFACD Time : 0.0 sec. user=mdettweiler [2016-05-29 04:02:58] 857*2^1430716-1 is not prime. Res64: F536A524AB2ECBED Time : 0.0 sec. user=mdettweiler [2016-05-29 04:19:48] 887*2^1430716-1 is not prime. Res64: 9D0CDA25C502A785 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:19:48] 621*2^1430717-1 is not prime. Res64: 479BC6931062462D Time : 0.0 sec. user=mdettweiler [2016-05-29 04:19:49] 645*2^1430717-1 is not prime. Res64: 7C3E05B3CF0B4A79 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:19:49] 747*2^1430717-1 is not prime. Res64: E0C381F5A30DC4EA Time : 0.0 sec. user=mdettweiler [2016-05-29 04:19:50] 615*2^1430718-1 is not prime. Res64: 4B5A614C4650879D Time : 0.0 sec. user=mdettweiler [2016-05-29 04:41:33] 815*2^1430718-1 is not prime. Res64: C0FE3B58A3B51AE3 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:41:34] 843*2^1430718-1 is not prime. Res64: 2C9FBD69D0FFD148 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:41:34] 645*2^1430719-1 is not prime. Res64: 6D71B824BFE6E672 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:41:34] 843*2^1430719-1 is not prime. Res64: B07846B82A390026 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:41:35] 855*2^1430719-1 is not prime. Res64: D335EBAB2FD23CB9 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:51:12] 609*2^1430720-1 is not prime. Res64: B5082B3BE879CFD7 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:51:12] 717*2^1430720-1 is not prime. Res64: 77C94B9E62F98AB9 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:51:12] 825*2^1430720-1 is not prime. Res64: 6A849DA993993AB6 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:51:13] 601*2^1430721-1 is not prime. Res64: 63AD5D0182BEB8D6 Time : 0.0 sec. user=mdettweiler [2016-05-29 04:51:13] 609*2^1430721-1 is not prime. Res64: 9A08B1093F8CCA8F Time : 0.0 sec. user=mdettweiler [2016-05-29 05:06:57] 669*2^1430721-1 is not prime. Res64: 5767896253252463 Time : 0.0 sec. user=mdettweiler [2016-05-29 05:06:57] 805*2^1430721-1 is not prime. Res64: E458CF612A873531 Time : 0.0 sec. user=mdettweiler [2016-05-29 05:06:58] 657*2^1430722-1 is not prime. Res64: 6B3F5374F6A58230 Time : 0.0 sec. user=mdettweiler [2016-05-29 05:06:58] 741*2^1430722-1 is not prime. Res64: D880AEB73C3BEF6A Time : 0.0 sec. user=mdettweiler [2016-05-29 05:06:59] 803*2^1430722-1 is not prime. Res64: E447294B0A34503A Time : 0.0 sec. user=mdettweiler [2016-05-29 05:27:37] 843*2^1430722-1 is not prime. Res64: 70399BFA135EEE9B Time : 0.0 sec. user=mdettweiler [2016-05-29 05:27:38] 917*2^1430722-1 is not prime. Res64: 745AB25BAD4689CB Time : 0.0 sec. user=mdettweiler [2016-05-29 05:27:38] 941*2^1430722-1 is not prime. Res64: DD204455469BCB4A Time : 0.0 sec. user=mdettweiler [2016-05-29 05:27:39] 619*2^1430723-1 is not prime. Res64: A4D4649FF29CBC1C Time : 0.0 sec. user=mdettweiler [2016-05-29 05:27:39] 621*2^1430723-1 is not prime. Res64: F7FCCBCD22140129 Time : 0.0 sec. user=mdettweiler [2016-05-29 05:36:49] 741*2^1430723-1 is not prime. Res64: 63DD5B544B7F328C Time : 0.0 sec. user=mdettweiler [2016-05-29 05:36:50] 783*2^1430723-1 is not prime. Res64: CFC4AAFC06B9B8C6 Time : 0.0 sec. user=mdettweiler [2016-05-29 05:36:50] 861*2^1430723-1 is not prime. Res64: 0DAA439DA8EA5FEF Time : 0.0 sec. user=mdettweiler [2016-05-29 05:36:50] 707*2^1430724-1 is not prime. Res64: FED6FAE81D68EDCE Time : 0.0 sec. user=mdettweiler [2016-05-29 05:36:51] 723*2^1430724-1 is not prime. Res64: 63C47C540419A24B Time : 0.0 sec. user=mdettweiler [2016-05-29 05:53:11] 725*2^1430724-1 is not prime. Res64: 244448E1462309A7 Time : 0.0 sec. user=mdettweiler [2016-05-29 05:53:11] 737*2^1430724-1 is not prime. Res64: 17474B3C9D5360E1 Time : 0.0 sec. user=mdettweiler [2016-05-29 05:53:11] 765*2^1430724-1 is not prime. Res64: 9397D52BBBE607DF Time : 0.0 sec. user=mdettweiler [2016-05-29 05:53:12] 789*2^1430724-1 is not prime. Res64: 84D48BAACB9D9AA7 Time : 0.0 sec. user=mdettweiler [2016-05-29 05:53:12] 825*2^1430724-1 is not prime. Res64: 53B0C7763F53719A Time : 0.0 sec. user=mdettweiler [2016-05-29 06:14:02] 905*2^1430724-1 is not prime. Res64: F6D14A40C1160833 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:14:03] 675*2^1430725-1 is not prime. Res64: F9EB30FBB78A1261 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:14:03] 861*2^1430725-1 is not prime. Res64: D968B63EF2E3E57E Time : 0.0 sec. user=mdettweiler [2016-05-29 06:14:04] 871*2^1430725-1 is not prime. Res64: 27E9AF1F59902285 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:14:04] 623*2^1430726-1 is not prime. Res64: 98110E81B01A8613 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:23:13] 663*2^1430726-1 is not prime. Res64: 8AA0C520D9CECCB5 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:23:14] 843*2^1430726-1 is not prime. Res64: CDFA5E1E4F19CA86 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:23:14] 897*2^1430726-1 is not prime. Res64: C94B08E0F262F606 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:23:14] 917*2^1430726-1 is not prime. Res64: 3EED6D91947FF54C Time : 0.0 sec. user=mdettweiler [2016-05-29 06:23:15] 923*2^1430726-1 is not prime. Res64: 17A1F9C332966439 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:39:24] 963*2^1430726-1 is not prime. Res64: D5AE78F6B13D2557 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:39:24] 649*2^1430727-1 is not prime. Res64: C8746C561471C1F9 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:39:25] 675*2^1430727-1 is not prime. Res64: 9156E7B6A75DDF9B Time : 0.0 sec. user=mdettweiler [2016-05-29 06:39:25] 735*2^1430727-1 is not prime. Res64: 13BFF5BE1D7F3943 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:39:25] 765*2^1430727-1 is not prime. Res64: D2C4E474B2E6E6BD Time : 0.0 sec. user=mdettweiler [2016-05-29 06:51:54] 923*2^1430714-1 is not prime. Res64: A3282EF154816470 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:51:54] 619*2^1430715-1 is not prime. Res64: 29BBC422858E42CD Time : 0.0 sec. user=mdettweiler [2016-05-29 06:51:54] 675*2^1430715-1 is not prime. Res64: 9EEC09DA52E8BC3B Time : 0.0 sec. user=mdettweiler [2016-05-29 06:51:55] 709*2^1430715-1 is not prime. Res64: 2D7839CC675AD331 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:59:42] 795*2^1430727-1 is not prime. Res64: 8843062DF52C3B75 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:59:42] 979*2^1430727-1 is not prime. Res64: 664539FC65B67C43 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:59:43] 839*2^1430728-1 is not prime. Res64: 7506DCA6A3E042A3 Time : 0.0 sec. user=mdettweiler [2016-05-29 06:59:43] 887*2^1430728-1 is not prime. Res64: 8B718F9006A1398B Time : 0.0 sec. user=mdettweiler [2016-05-29 06:59:43] 711*2^1430729-1 is not prime. Res64: 9EC1E2C06A9EAB99 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:08:49] 787*2^1430729-1 is not prime. Res64: E7AF84D1D05654BE Time : 0.0 sec. user=mdettweiler [2016-05-29 07:08:49] 889*2^1430729-1 is not prime. Res64: C8E92C9574F0EE5B Time : 0.0 sec. user=mdettweiler [2016-05-29 07:08:49] 985*2^1430729-1 is not prime. Res64: 11D3212E4E3E8638 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:08:50] 891*2^1430730-1 is not prime. Res64: 0F1C400A0B7D6D42 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:08:50] 741*2^1430731-1 is not prime. Res64: BBECEB121C8F2F48 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:24:37] 745*2^1430731-1 is not prime. Res64: 382CBE30A08F52BA Time : 0.0 sec. user=mdettweiler [2016-05-29 07:24:38] 759*2^1430731-1 is not prime. Res64: 5423D165885D390B Time : 0.0 sec. user=mdettweiler [2016-05-29 07:24:39] 775*2^1430731-1 is not prime. Res64: 854586F34E2A1E16 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:24:39] 889*2^1430731-1 is not prime. Res64: DEC6C347ACDA04B1 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:24:40] 939*2^1430731-1 is not prime. Res64: 02706E54AAD93AE0 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:37:10] 999*2^1430731-1 is not prime. Res64: 02C15E6BF89A27A5 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:37:10] 629*2^1430732-1 is not prime. Res64: 54295C8CA8E01FAD Time : 0.0 sec. user=mdettweiler [2016-05-29 07:37:10] 753*2^1430732-1 is not prime. Res64: FF4EB3ACB4BB7839 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:37:11] 963*2^1430732-1 is not prime. Res64: 8B1FD28590A1D8F0 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:37:11] 657*2^1430733-1 is not prime. Res64: E2678E560405AFB7 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:44:43] 781*2^1430733-1 is not prime. Res64: D5575F09F6F23AE1 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:44:44] 795*2^1430733-1 is not prime. Res64: DF58419B3D65DEA9 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:44:44] 979*2^1430733-1 is not prime. Res64: 307B49232C78DAD0 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:44:44] 731*2^1430734-1 is not prime. Res64: 1F4D34EDA1DAD4F6 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:44:45] 827*2^1430734-1 is not prime. Res64: 4C210DB006AD1507 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:53:49] 833*2^1430734-1 is not prime. Res64: 365A95ED01F845CB Time : 0.0 sec. user=mdettweiler [2016-05-29 07:53:49] 885*2^1430734-1 is not prime. Res64: 6C23CBE2F671F988 Time : 0.0 sec. user=mdettweiler [2016-05-29 07:53:49] 923*2^1430734-1 is not prime. Res64: 394CFD0188142CEE Time : 0.0 sec. user=mdettweiler [2016-05-29 07:53:50] 645*2^1430735-1 is not prime. Res64: 6420F3426D145BCA Time : 0.0 sec. user=mdettweiler [2016-05-29 07:53:50] 661*2^1430735-1 is not prime. Res64: 737F01D9B5C5E500 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:09:44] 789*2^1430735-1 is not prime. Res64: EAF52716081A5A49 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:09:44] 639*2^1430736-1 is not prime. Res64: B10A3659D3E8A0C9 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:09:45] 675*2^1430736-1 is not prime. Res64: 193632AF107A9285 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:09:45] 735*2^1430736-1 is not prime. Res64: 40A01B6B85D681AA Time : 0.0 sec. user=mdettweiler [2016-05-29 08:09:45] 779*2^1430736-1 is not prime. Res64: 34CF6C3AA7582E12 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:22:18] 825*2^1430736-1 is not prime. Res64: 96163571AD84A130 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:22:19] 619*2^1430737-1 is not prime. Res64: 4E463B40EA48D5CF Time : 0.0 sec. user=mdettweiler [2016-05-29 08:22:19] 637*2^1430737-1 is not prime. Res64: 49B7BD83A37DB6BF Time : 0.0 sec. user=mdettweiler [2016-05-29 08:22:19] 727*2^1430737-1 is not prime. Res64: A20B1711B132BD01 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:22:20] 751*2^1430737-1 is not prime. Res64: 5F81BD429D85A495 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:29:45] 867*2^1430737-1 is not prime. Res64: 00EB092E08AF34D4 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:29:46] 665*2^1430738-1 is not prime. Res64: E1F0E3B17FCBD55A Time : 0.0 sec. user=mdettweiler [2016-05-29 08:29:46] 683*2^1430738-1 is not prime. Res64: 9D547781A9C20771 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:29:47] 687*2^1430738-1 is not prime. Res64: 2851B6ECA66E86FC Time : 0.0 sec. user=mdettweiler [2016-05-29 08:29:47] 867*2^1430738-1 is not prime. Res64: 7E3C2C9F925708AD Time : 0.0 sec. user=mdettweiler [2016-05-29 08:38:53] 893*2^1430738-1 is not prime. Res64: A321B5C388F70BB4 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:38:53] 945*2^1430738-1 is not prime. Res64: F9B1F47F309F3A15 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:38:53] 609*2^1430739-1 is not prime. Res64: CD7BDC325DA9DB8C Time : 0.0 sec. user=mdettweiler [2016-05-29 08:38:54] 619*2^1430739-1 is not prime. Res64: A4E7A1844F6DB161 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:38:54] 639*2^1430739-1 is not prime. Res64: E9676CEAFC679684 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:54:54] 649*2^1430739-1 is not prime. Res64: 2BD30503F788A562 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:54:55] 691*2^1430739-1 is not prime. Res64: 51F93DC60C261C25 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:54:55] 789*2^1430739-1 is not prime. Res64: DEEFE8179341295D Time : 0.0 sec. user=mdettweiler [2016-05-29 08:54:55] 891*2^1430739-1 is not prime. Res64: 53377169249B1BF0 Time : 0.0 sec. user=mdettweiler [2016-05-29 08:54:56] 895*2^1430739-1 is not prime. Res64: 7A4F1CA3E6AE028B Time : 0.0 sec. user=mdettweiler [2016-05-29 09:07:22] 979*2^1430739-1 is not prime. Res64: 34807B6B110BAC61 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:07:23] 615*2^1430740-1 is not prime. Res64: D0953986AF3A8DB2 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:07:24] 695*2^1430740-1 is not prime. Res64: 93EA36545EC9D15F Time : 0.0 sec. user=mdettweiler [2016-05-29 09:07:24] 827*2^1430740-1 is not prime. Res64: E47DEC6CF88013E6 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:07:25] 873*2^1430740-1 is not prime. Res64: 4B98EEF688C9ECEA Time : 0.0 sec. user=mdettweiler [2016-05-29 09:14:49] 875*2^1430740-1 is not prime. Res64: CE7BAC2763D13434 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:14:49] 983*2^1430740-1 is not prime. Res64: 196071E14E2A37B1 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:14:50] 987*2^1430740-1 is not prime. Res64: 00AF408EE1812CC0 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:14:50] 685*2^1430741-1 is not prime. Res64: 24295D8A7FD4B5F9 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:14:51] 789*2^1430741-1 is not prime. Res64: 99BEB24A67D586D2 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:24:03] 855*2^1430741-1 is not prime. Res64: 74C210B6F1576694 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:24:04] 901*2^1430741-1 is not prime. Res64: CE442EBE65674D67 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:24:04] 955*2^1430741-1 is not prime. Res64: 4A42E3D30E4EF790 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:24:05] 657*2^1430742-1 is not prime. Res64: 0CC1582691521463 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:24:05] 887*2^1430742-1 is not prime. Res64: 507F36D4E49088BA Time : 0.0 sec. user=mdettweiler [2016-05-29 09:40:04] 945*2^1430742-1 is not prime. Res64: 1847DEE19970E34D Time : 0.0 sec. user=mdettweiler [2016-05-29 09:40:04] 951*2^1430742-1 is not prime. Res64: E8CC92F49CB01F79 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:40:05] 679*2^1430743-1 is not prime. Res64: DF267EE51010A538 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:40:05] 741*2^1430743-1 is not prime. Res64: B77AF8998F821CBC Time : 0.0 sec. user=mdettweiler [2016-05-29 09:40:05] 961*2^1430743-1 is not prime. Res64: 406F71CC463065E6 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:52:29] 615*2^1430744-1 is not prime. Res64: 3B6B1BB58DE0CC2E Time : 0.0 sec. user=mdettweiler [2016-05-29 09:52:29] 675*2^1430744-1 is not prime. Res64: 6BE6EA8435EF2452 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:52:29] 773*2^1430744-1 is not prime. Res64: 756C6A3808D3396F Time : 0.0 sec. user=mdettweiler [2016-05-29 09:52:30] 873*2^1430744-1 is not prime. Res64: F57FF0DD259FBD0A Time : 0.0 sec. user=mdettweiler [2016-05-29 09:52:30] 897*2^1430744-1 is not prime. Res64: 550DE87CED1E7E30 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:59:48] 903*2^1430744-1 is not prime. Res64: 837986908A7A6ED3 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:59:49] 917*2^1430744-1 is not prime. Res64: 3F497F127E7BAFF4 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:59:49] 657*2^1430745-1 is not prime. Res64: A9F64507A5617F41 Time : 0.0 sec. user=mdettweiler [2016-05-29 09:59:49] 717*2^1430745-1 is not prime. Res64: F6DD008F0793DFBB Time : 0.0 sec. user=mdettweiler [2016-05-29 09:59:50] 847*2^1430745-1 is not prime. Res64: FDF597481C793774 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:09:08] 635*2^1430746-1 is not prime. Res64: F775886D4CEAAFCA Time : 0.0 sec. user=mdettweiler [2016-05-29 10:09:08] 675*2^1430746-1 is not prime. Res64: 079A5119F1FCF73C Time : 0.0 sec. user=mdettweiler [2016-05-29 10:09:09] 815*2^1430746-1 is not prime. Res64: E4A7FC7E1E208147 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:09:09] 867*2^1430746-1 is not prime. Res64: 91923607461A3035 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:09:09] 873*2^1430746-1 is not prime. Res64: 49C316906BDA1FA0 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:25:10] 933*2^1430746-1 is not prime. Res64: AEFE9F4AF2112EE7 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:25:10] 945*2^1430746-1 is not prime. Res64: 46B699C7C683D026 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:25:11] 621*2^1430747-1 is not prime. Res64: C4ADC498C0E9C422 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:25:11] 871*2^1430747-1 is not prime. Res64: EE5CEA759A17C7EC Time : 0.0 sec. user=mdettweiler [2016-05-29 10:25:12] 949*2^1430747-1 is not prime. Res64: FA357A80A655F99D Time : 0.0 sec. user=mdettweiler [2016-05-29 10:37:22] 669*2^1430748-1 is not prime. Res64: 6F83CEB8A4969457 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:37:23] 689*2^1430748-1 is not prime. Res64: 4EAD3B890996106C Time : 0.0 sec. user=mdettweiler [2016-05-29 10:37:23] 707*2^1430748-1 is not prime. Res64: CC910E9CAE2F82CB Time : 0.0 sec. user=mdettweiler [2016-05-29 10:37:24] 749*2^1430748-1 is not prime. Res64: 6B4CDD46E199CAF9 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:37:24] 759*2^1430748-1 is not prime. Res64: 730D3E4F79400E9F Time : 0.0 sec. user=mdettweiler [2016-05-29 10:44:50] 825*2^1430748-1 is not prime. Res64: 56CA50AE2505D637 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:44:50] 839*2^1430748-1 is not prime. Res64: D73E951EB1C19C6F Time : 0.0 sec. user=mdettweiler [2016-05-29 10:44:51] 927*2^1430748-1 is not prime. Res64: 69FC755BDA0DCEFA Time : 0.0 sec. user=mdettweiler [2016-05-29 10:44:51] 999*2^1430748-1 is not prime. Res64: C1DED42207377DC9 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:44:52] 775*2^1430749-1 is not prime. Res64: E8943F31FC0B32E6 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:54:17] 885*2^1430749-1 is not prime. Res64: B53307CFF7601AE1 Time : 0.0 sec. user=mdettweiler [2016-05-29 10:54:18] 999*2^1430749-1 is not prime. Res64: D747E799BCAAB0A3 Time : 0.0 sec. user=mdettweiler [2016-05-29 11:10:07] 935*2^1430750-1 is not prime. Res64: E55CECA436BEF84E Time : 0.0 sec. user=mdettweiler [2016-05-29 11:10:08] 1001*2^1430750-1 is not prime. Res64: 5431C733E1281CC2 Time : 0.0 sec. user=mdettweiler [2016-05-29 11:10:08] 649*2^1430751-1 is not prime. Res64: BE1AEDFA24243C2A Time : 0.0 sec. user=mdettweiler [2016-05-29 11:10:09] 723*2^1430751-1 is not prime. Res64: 2E56ACEC5D36063F Time : 0.0 sec. user=mdettweiler [2016-05-29 11:10:11] 735*2^1430751-1 is not prime. Res64: CABF30FF9C97544F Time : 0.0 sec. user=mdettweiler [2016-05-29 11:22:36] 741*2^1430751-1 is not prime. Res64: 632F92735CC3C190 Time : 0.0 sec. user=mdettweiler [2016-05-29 11:22:36] 871*2^1430751-1 is not prime. Res64: E7879D37F3B927B2 Time : 0.0 sec. user=mdettweiler [2016-05-29 11:22:37] 909*2^1430751-1 is not prime. Res64: 456B0B41072F07A4 Time : 0.0 sec. user=mdettweiler [2016-05-29 11:22:37] 975*2^1430751-1 is not prime. Res64: D12E0E3562765E8F Time : 0.0 sec. user=mdettweiler [2016-05-29 11:22:38] 609*2^1430752-1 is not prime. Res64: 6EB738A2686F99DF Time : 0.0 sec. user=mdettweiler [2016-05-29 11:30:10] 717*2^1430752-1 is not prime. Res64: EF52633DA19169B2 Time : 0.0 sec. user=mdettweiler [2016-05-29 11:30:11] 735*2^1430752-1 is not prime. Res64: BE45C9C5C87DE9AC Time : 0.0 sec. user=mdettweiler [2016-05-29 11:30:11] 759*2^1430752-1 is not prime. Res64: D61A123825A6D9CA Time : 0.0 sec. user=mdettweiler [2016-05-29 11:30:12] 857*2^1430752-1 is not prime. Res64: 3AB356547C02C73D Time : 0.0 sec. user=mdettweiler [2016-05-29 11:30:12] 917*2^1430752-1 is not prime. Res64: 02C7DDA8AD41630D Time : 0.0 sec. user=mdettweiler [2016-05-29 11:57:23] 923*2^1430752-1 is not prime. Res64: C7AFD564A7C5D54A Time : 0.0 sec. user=mdettweiler [2016-05-29 11:57:23] 615*2^1430753-1 is not prime. Res64: 96DB5B192BB68725 Time : 0.0 sec. user=mdettweiler [2016-05-29 11:57:23] 657*2^1430753-1 is not prime. Res64: 8A4FC282D9E57AFC Time : 0.0 sec. user=mdettweiler [2016-05-29 11:57:23] 697*2^1430753-1 is not prime. Res64: 99F19121A1B02A61 Time : 0.0 sec. user=mdettweiler [2016-05-29 11:57:24] 705*2^1430753-1 is not prime. Res64: 8B397A2FFB44EF8A Time : 0.0 sec. user=mdettweiler [2016-05-29 12:09:47] 729*2^1430753-1 is not prime. Res64: FEF076D9D7FD3CF8 Time : 0.0 sec. user=mdettweiler [2016-05-29 12:09:47] 741*2^1430753-1 is not prime. Res64: 10F3C4963CDB125C Time : 0.0 sec. user=mdettweiler [2016-05-29 12:09:48] 829*2^1430753-1 is not prime. Res64: 52EF4E5B9E534978 Time : 0.0 sec. user=mdettweiler [2016-05-29 12:09:48] 861*2^1430753-1 is not prime. Res64: 707D4FC1EEC7108E Time : 0.0 sec. user=mdettweiler [2016-05-29 12:09:48] 717*2^1430754-1 is not prime. Res64: 421D816C27EED828 Time : 0.0 sec. user=mdettweiler [2016-05-29 12:17:38] 861*2^1430754-1 is not prime. Res64: 9823C50A65B7EA42 Time : 0.0 sec. user=mdettweiler [2016-05-29 12:17:38] 625*2^1430755-1 is not prime. Res64: D3D3E5575095993D Time : 0.0 sec. user=mdettweiler [2016-05-29 12:17:38] 649*2^1430755-1 is not prime. Res64: 1B0D16C3C29BF7F2 Time : 0.0 sec. user=mdettweiler [2016-05-29 12:17:39] 709*2^1430755-1 is not prime. Res64: 41EB081AABF4C3BA Time : 0.0 sec. user=mdettweiler [2016-05-29 12:17:39] 741*2^1430755-1 is not prime. Res64: B778C48B36E92DDF Time : 0.0 sec. user=mdettweiler [2016-05-29 14:54:39] 707*2^1430750-1 is not prime. Res64: 43B904FBED20657C Time : 0.0 sec. user=mdettweiler [2016-05-29 14:54:39] 791*2^1430750-1 is not prime. Res64: 77D96B733F9AC045 Time : 0.0 sec. user=mdettweiler [2016-05-29 14:54:40] 887*2^1430750-1 is not prime. Res64: 5602DCE091723424 Time : 0.0 sec. user=mdettweiler [2016-05-29 15:04:40] 961*2^1430755-1 is not prime. Res64: 1C5B869E9C5ADBEE Time : 0.0 sec. user=mdettweiler [2016-05-29 15:04:42] 897*2^1430756-1 is not prime. Res64: F0ED050DE6D4D30B Time : 0.0 sec. user=mdettweiler [2016-05-29 15:04:43] 903*2^1430756-1 is not prime. Res64: D5EB1A2AF6373CBA Time : 0.0 sec. user=mdettweiler [2016-05-29 15:04:44] 957*2^1430756-1 is not prime. Res64: DEC65FAF0C3E873A Time : 0.0 sec. user=mdettweiler [2016-05-29 15:04:45] 655*2^1430757-1 is not prime. Res64: 8EC5607AD4025025 Time : 0.0 sec. user=mdettweiler [2016-05-29 15:25:28] 685*2^1430757-1 is not prime. Res64: 9A05E67BA7C5458C Time : 0.0 sec. user=mdettweiler [2016-05-29 15:25:29] 741*2^1430757-1 is not prime. Res64: 2A118BBC984153E9 Time : 0.0 sec. user=mdettweiler [2016-05-29 15:25:29] 747*2^1430757-1 is not prime. Res64: AF5960046A228867 Time : 0.0 sec. user=mdettweiler [2016-05-29 15:25:29] 829*2^1430757-1 is not prime. Res64: 814654D4A4064C8E Time : 0.0 sec. user=mdettweiler [2016-05-29 15:25:30] 861*2^1430757-1 is not prime. Res64: 90C345FF1EDE33F5 Time : 0.0 sec. user=mdettweiler [2016-05-29 15:36:08] 889*2^1430757-1 is not prime. Res64: 7915DAFFC6CFC5B9 Time : 0.0 sec. user=mdettweiler [2016-05-29 15:36:08] 997*2^1430757-1 is not prime. Res64: 6F6AE19BD0A73634 Time : 0.0 sec. user=mdettweiler [2016-05-29 15:36:08] 605*2^1430758-1 is not prime. Res64: 14D7DC16213CC9CC Time : 0.0 sec. user=mdettweiler [2016-05-29 15:36:08] 611*2^1430758-1 is not prime. Res64: D4EE7D86AEDCFE43 Time : 0.0 sec. user=mdettweiler [2016-05-29 15:36:09] 657*2^1430758-1 is not prime. Res64: D586AD69B85A2200 Time : 0.0 sec. user=mdettweiler [2016-05-29 15:56:23] 671*2^1430758-1 is not prime. Res64: 81291C3F4D927D74 Time : 0.0 sec. user=mdettweiler [2016-05-29 15:56:24] 867*2^1430758-1 is not prime. Res64: 56AD7931E12F6DE1 Time : 0.0 sec. user=mdettweiler [2016-05-29 15:56:24] 885*2^1430758-1 is not prime. Res64: 6F5B29E37E085033 Time : 0.0 sec. user=mdettweiler [2016-05-29 15:56:25] 975*2^1430758-1 is not prime. Res64: D620FF508F38258C Time : 0.0 sec. user=mdettweiler [2016-05-29 15:56:25] 661*2^1430759-1 is not prime. Res64: CEADB64B6769101E Time : 0.0 sec. user=mdettweiler [2016-05-29 16:15:14] 721*2^1430759-1 is not prime. Res64: 3980E4D85B4BBCD2 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:15:14] 763*2^1430759-1 is not prime. Res64: 1A21F4D9102D2C95 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:15:15] 813*2^1430759-1 is not prime. Res64: 1B749A0B40E58F49 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:15:15] 885*2^1430759-1 is not prime. Res64: 4A2E1E795FF0DCA9 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:15:16] 939*2^1430759-1 is not prime. Res64: 764366EDF25646D6 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:24:37] 955*2^1430759-1 is not prime. Res64: E6F7E52D99322449 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:24:38] 973*2^1430759-1 is not prime. Res64: 1E40FBBFCC0DA6A0 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:24:38] 629*2^1430760-1 is not prime. Res64: 178EF117D90E468D Time : 0.0 sec. user=mdettweiler [2016-05-29 16:24:38] 797*2^1430760-1 is not prime. Res64: FBF92A959FEF5B2C Time : 0.0 sec. user=mdettweiler [2016-05-29 16:24:39] 893*2^1430760-1 is not prime. Res64: B34CE2697C8D29FD Time : 0.0 sec. user=mdettweiler [2016-05-29 16:28:03] 649*2^1430761-1 is not prime. Res64: 086E5C3866E93B3A Time : 0.0 sec. user=mdettweiler [2016-05-29 16:28:03] 747*2^1430761-1 is not prime. Res64: 34DF2B6F651A53F6 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:28:04] 769*2^1430761-1 is not prime. Res64: D7EBA0E25881FA22 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:28:04] 829*2^1430761-1 is not prime. Res64: CC7D77AE38F8EC9E Time : 0.0 sec. user=mdettweiler [2016-05-29 16:28:04] 855*2^1430761-1 is not prime. Res64: F1C26D60151D2BC4 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:41:25] 901*2^1430761-1 is not prime. Res64: F03D754EB822A6BA Time : 0.0 sec. user=mdettweiler [2016-05-29 16:41:26] 945*2^1430761-1 is not prime. Res64: 999701694482E794 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:41:26] 955*2^1430761-1 is not prime. Res64: D551323ECEC8CDF1 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:41:26] 987*2^1430761-1 is not prime. Res64: 00E177C169871573 Time : 0.0 sec. user=mdettweiler [2016-05-29 16:41:27] 713*2^1430762-1 is not prime. Res64: 9CC4B450243CF1E2 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:00:00] 915*2^1430762-1 is not prime. Res64: 486F4868C72ACF15 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:00:00] 613*2^1430763-1 is not prime. Res64: EA38D493998DD96A Time : 0.0 sec. user=mdettweiler [2016-05-29 17:00:00] 663*2^1430763-1 is not prime. Res64: 9B8ED734198AF2ED Time : 0.0 sec. user=mdettweiler [2016-05-29 17:00:01] 709*2^1430763-1 is not prime. Res64: 07F76495843933AB Time : 0.0 sec. user=mdettweiler [2016-05-29 17:00:01] 739*2^1430763-1 is not prime. Res64: 738E3C6C9F0FF6CD Time : 0.0 sec. user=mdettweiler [2016-05-29 17:09:20] 789*2^1430763-1 is not prime. Res64: 7353EDD05B310661 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:09:21] 819*2^1430763-1 is not prime. Res64: D1C912D45E0C9B3F Time : 0.0 sec. user=mdettweiler [2016-05-29 17:09:21] 823*2^1430763-1 is not prime. Res64: FFD59C7F2BA4CB09 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:09:22] 861*2^1430763-1 is not prime. Res64: 01F75C07DDE75BA3 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:09:22] 969*2^1430763-1 is not prime. Res64: 6EF1BF855D8F2D28 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:12:55] 623*2^1430764-1 is not prime. Res64: C124D21F52387686 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:12:56] 665*2^1430764-1 is not prime. Res64: A238188B4ED7B12F Time : 0.0 sec. user=mdettweiler [2016-05-29 17:12:56] 813*2^1430764-1 is not prime. Res64: 12407D69FF8D6C51 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:12:57] 843*2^1430764-1 is not prime. Res64: 684CA252C27A4A85 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:12:57] 857*2^1430764-1 is not prime. Res64: 336455FF74697C93 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:26:11] 657*2^1430765-1 is not prime. Res64: 506C98DE07C84E3E Time : 0.0 sec. user=mdettweiler [2016-05-29 17:26:11] 717*2^1430765-1 is not prime. Res64: 8DF215A612707AEF Time : 0.0 sec. user=mdettweiler [2016-05-29 17:26:11] 757*2^1430765-1 is not prime. Res64: C6A7141D1A7737B7 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:26:12] 939*2^1430765-1 is not prime. Res64: 04704BD46CD959C5 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:26:12] 635*2^1430766-1 is not prime. Res64: B8620AC11FFA7A6E Time : 0.0 sec. user=mdettweiler [2016-05-29 17:44:56] 717*2^1430766-1 is not prime. Res64: F1C598C89B6E3335 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:44:56] 747*2^1430766-1 is not prime. Res64: 302125270343F656 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:44:57] 843*2^1430766-1 is not prime. Res64: 040CCF35404B6F83 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:44:57] 891*2^1430766-1 is not prime. Res64: 4B2CFAC88AE7EFD3 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:44:57] 917*2^1430766-1 is not prime. Res64: E30344C48D747DA5 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:54:14] 941*2^1430766-1 is not prime. Res64: AF899B0375935847 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:54:14] 947*2^1430766-1 is not prime. Res64: BEF1C0838000B473 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:54:15] 1001*2^1430766-1 is not prime. Res64: FE5CECCEE6ACFCF2 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:54:15] 603*2^1430767-1 is not prime. Res64: 20B48EC8BE046695 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:54:15] 685*2^1430767-1 is not prime. Res64: 59C94F3A9130F039 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:57:42] 705*2^1430767-1 is not prime. Res64: C8F043D15B4E228C Time : 0.0 sec. user=mdettweiler [2016-05-29 17:57:43] 769*2^1430767-1 is not prime. Res64: 8EC62D41F0445FEB Time : 0.0 sec. user=mdettweiler [2016-05-29 17:57:43] 883*2^1430767-1 is not prime. Res64: 1E378CB18807ACDA Time : 0.0 sec. user=mdettweiler [2016-05-29 17:57:43] 891*2^1430767-1 is not prime. Res64: 44CCCD501EAC96E9 Time : 0.0 sec. user=mdettweiler [2016-05-29 17:57:44] 985*2^1430767-1 is not prime. Res64: 7CB6D5F2C6F51B22 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:11:10] 993*2^1430767-1 is not prime. Res64: C401201161C64EC9 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:11:11] 633*2^1430768-1 is not prime. Res64: 26BFDC64ADFA071B Time : 0.0 sec. user=mdettweiler [2016-05-29 18:11:11] 635*2^1430768-1 is not prime. Res64: D41AD9745EEF964F Time : 0.0 sec. user=mdettweiler [2016-05-29 18:11:11] 657*2^1430768-1 is not prime. Res64: 33D1581F2903E89F Time : 0.0 sec. user=mdettweiler [2016-05-29 18:11:12] 755*2^1430768-1 is not prime. Res64: C383A4CB57B34DCD Time : 0.0 sec. user=mdettweiler [2016-05-29 18:29:48] 767*2^1430768-1 is not prime. Res64: 0F11460EC1571384 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:29:48] 827*2^1430768-1 is not prime. Res64: 5649424C19BC7205 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:29:49] 839*2^1430768-1 is not prime. Res64: 3EE98F928F669901 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:29:49] 893*2^1430768-1 is not prime. Res64: 50B106421A5C1895 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:29:50] 709*2^1430769-1 is not prime. Res64: 15922411A5A5CB7A Time : 0.0 sec. user=mdettweiler [2016-05-29 18:39:16] 747*2^1430769-1 is not prime. Res64: C7D868493006D1CD Time : 0.0 sec. user=mdettweiler [2016-05-29 18:39:17] 765*2^1430769-1 is not prime. Res64: 286F676DFCB59845 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:39:17] 787*2^1430769-1 is not prime. Res64: 05C694F72264B1CF Time : 0.0 sec. user=mdettweiler [2016-05-29 18:39:17] 835*2^1430769-1 is not prime. Res64: 0B4968271EA3BF45 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:39:18] 885*2^1430769-1 is not prime. Res64: AB7F6E1F407582CB Time : 0.0 sec. user=mdettweiler [2016-05-29 18:42:35] 889*2^1430769-1 is not prime. Res64: A4D3036CB2DD463C Time : 0.0 sec. user=mdettweiler [2016-05-29 18:42:35] 895*2^1430769-1 is not prime. Res64: 901B3031F1023D23 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:42:36] 969*2^1430769-1 is not prime. Res64: 9BF8532BC4ABEDA0 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:42:36] 665*2^1430770-1 is not prime. Res64: 508C6F0E9FCA6C2C Time : 0.0 sec. user=mdettweiler [2016-05-29 18:42:37] 777*2^1430770-1 is not prime. Res64: 2CD38CE7F8E68F43 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:56:12] 933*2^1430770-1 is not prime. Res64: 476C6EF59EC83BAE Time : 0.0 sec. user=mdettweiler [2016-05-29 18:56:13] 609*2^1430771-1 is not prime. Res64: D682C22C414DE776 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:56:13] 619*2^1430771-1 is not prime. Res64: 35EAC16188D9E6F3 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:56:13] 675*2^1430771-1 is not prime. Res64: EEE204F555396BD7 Time : 0.0 sec. user=mdettweiler [2016-05-29 18:56:14] 753*2^1430771-1 is not prime. Res64: 8B01E9F2BFD98DAF Time : 0.0 sec. user=mdettweiler [2016-05-29 19:15:12] 759*2^1430771-1 is not prime. Res64: 96958D9A005E3C91 Time : 0.0 sec. user=mdettweiler [2016-05-29 19:15:13] 943*2^1430771-1 is not prime. Res64: 3A6919BA6101BCA2 Time : 0.0 sec. user=mdettweiler [2016-05-29 19:15:13] 979*2^1430771-1 is not prime. Res64: 5C24604E27344200 Time : 0.0 sec. user=mdettweiler [2016-05-29 19:15:13] 981*2^1430771-1 is not prime. Res64: 30CEE1235247E8BB Time : 0.0 sec. user=mdettweiler [2016-05-29 19:15:13] 629*2^1430772-1 is not prime. Res64: 62DD75B83373BAFF Time : 0.0 sec. user=mdettweiler [2016-05-29 19:25:22] 653*2^1430772-1 is not prime. Res64: 63CC76088157085F Time : 0.0 sec. user=mdettweiler [2016-05-29 19:25:22] 749*2^1430772-1 is not prime. Res64: 7C9E503012A13F2C Time : 0.0 sec. user=mdettweiler [2016-05-29 19:25:23] 797*2^1430772-1 is not prime. Res64: CC8558C0BDA2B44C Time : 0.0 sec. user=mdettweiler [2016-05-29 19:25:24] 837*2^1430772-1 is not prime. Res64: 1A0B0B6B23A7B3A7 Time : 0.0 sec. user=mdettweiler [2016-05-29 19:25:24] 867*2^1430772-1 is not prime. Res64: 1F3B97F600219F67 Time : 0.0 sec. user=mdettweiler [2016-05-29 19:28:46] 875*2^1430772-1 is not prime. Res64: 0EEFF9C3D005B876 Time : 0.0 sec. user=mdettweiler [2016-05-29 19:28:47] 625*2^1430773-1 is not prime. Res64: 4A9F9FFAB3051EFD Time : 0.0 sec. user=mdettweiler [2016-05-29 19:28:47] 687*2^1430773-1 is not prime. Res64: 7AB8D0D5D3CF39A2 Time : 0.0 sec. user=mdettweiler [2016-05-29 19:28:47] 727*2^1430773-1 is not prime. Res64: 82036C2984F6C3AD Time : 0.0 sec. user=mdettweiler [2016-05-29 19:28:48] 801*2^1430773-1 is not prime. Res64: 6EA242C69CE3D554 Time : 0.0 sec. user=mdettweiler [2016-05-29 19:43:07] 805*2^1430773-1 is not prime. Res64: 5345F5F2E875C05A Time : 0.0 sec. user=mdettweiler [2016-05-29 19:43:08] 919*2^1430773-1 is not prime. Res64: 82B320214A424A4A Time : 0.0 sec. user=mdettweiler [2016-05-29 19:43:08] 955*2^1430773-1 is not prime. Res64: 1A0AFD0FD3761004 Time : 0.0 sec. user=mdettweiler [2016-05-29 19:43:08] 627*2^1430774-1 is not prime. Res64: C78FD7A7990444F1 Time : 0.0 sec. user=mdettweiler [2016-05-29 19:43:09] 635*2^1430774-1 is not prime. Res64: 3ACED989212BD11F Time : 0.0 sec. user=mdettweiler [2016-05-29 20:02:10] 641*2^1430774-1 is not prime. Res64: A10A0D7838C3683A Time : 0.0 sec. user=mdettweiler [2016-05-29 20:02:11] 665*2^1430774-1 is not prime. Res64: 90C0A213440D6F8D Time : 0.0 sec. user=mdettweiler [2016-05-29 20:02:12] 717*2^1430774-1 is not prime. Res64: 7FC5A2F3DB7252E4 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:02:12] 851*2^1430774-1 is not prime. Res64: A41CF856206B710B Time : 0.0 sec. user=mdettweiler [2016-05-29 20:02:13] 923*2^1430774-1 is not prime. Res64: C0B1654EB8A28EDE Time : 0.0 sec. user=mdettweiler [2016-05-29 20:12:20] 633*2^1430775-1 is not prime. Res64: 9F490D5F1E5FEFC6 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:12:20] 669*2^1430775-1 is not prime. Res64: 330C41EA9EA80E44 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:12:21] 741*2^1430775-1 is not prime. Res64: 381176B87A0D2B1D Time : 0.0 sec. user=mdettweiler [2016-05-29 20:12:21] 793*2^1430775-1 is not prime. Res64: 4CFE6032D6855F93 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:12:22] 825*2^1430775-1 is not prime. Res64: CF6CBA88D86C87E0 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:15:48] 885*2^1430775-1 is not prime. Res64: 8579178DF9D6737C Time : 0.0 sec. user=mdettweiler [2016-05-29 20:15:48] 921*2^1430775-1 is not prime. Res64: BFF6DAD9DA4C0098 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:15:48] 615*2^1430776-1 is not prime. Res64: 07A7855AD4467410 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:15:49] 645*2^1430776-1 is not prime. Res64: F7E8FEBAF5F6013E Time : 0.0 sec. user=mdettweiler [2016-05-29 20:15:49] 719*2^1430776-1 is not prime. Res64: 25AACD017780ACDB Time : 0.0 sec. user=mdettweiler [2016-05-29 20:30:21] 735*2^1430776-1 is not prime. Res64: 5449B3C0CB02CF52 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:30:21] 843*2^1430776-1 is not prime. Res64: AE3F0AFE4A231826 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:30:22] 849*2^1430776-1 is not prime. Res64: F26DE4A660320CFF Time : 0.0 sec. user=mdettweiler [2016-05-29 20:30:22] 869*2^1430776-1 is not prime. Res64: B1BC5BEB66EAEA52 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:30:22] 899*2^1430776-1 is not prime. Res64: 69D24AF6940D2D09 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:51:22] 909*2^1430776-1 is not prime. Res64: 839C0A30DB138A60 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:51:22] 983*2^1430776-1 is not prime. Res64: F53F5BDCCA2D5204 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:51:22] 669*2^1430777-1 is not prime. Res64: 089328EC0D0ADD4E Time : 0.0 sec. user=mdettweiler [2016-05-29 20:51:22] 777*2^1430777-1 is not prime. Res64: 10A5B79E6FDAFD46 Time : 0.0 sec. user=mdettweiler [2016-05-29 20:51:23] 819*2^1430777-1 is not prime. Res64: CD4BE921874738B5 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:02:14] 847*2^1430777-1 is not prime. Res64: 4FA425AD72BF5108 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:02:14] 937*2^1430777-1 is not prime. Res64: 865E30A753DF755E Time : 0.0 sec. user=mdettweiler [2016-05-29 21:02:15] 981*2^1430777-1 is not prime. Res64: B2950AD3C53BF784 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:02:16] 991*2^1430777-1 is not prime. Res64: D7F23698D63ED552 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:02:16] 611*2^1430778-1 is not prime. Res64: 5E0143EBF3954D27 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:05:00] 647*2^1430778-1 is not prime. Res64: E10635BAB5E28AFD Time : 0.0 sec. user=mdettweiler [2016-05-29 21:05:01] 707*2^1430778-1 is not prime. Res64: D0D2BAEF6ECB239E Time : 0.0 sec. user=mdettweiler [2016-05-29 21:05:02] 711*2^1430778-1 is not prime. Res64: 56374EB1E503D213 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:05:03] 731*2^1430778-1 is not prime. Res64: A3D4869617D12FFA Time : 0.0 sec. user=mdettweiler [2016-05-29 21:05:03] 633*2^1430779-1 is not prime. Res64: BF392526173F1B9C Time : 0.0 sec. user=mdettweiler [2016-05-29 21:20:16] 793*2^1430779-1 is not prime. Res64: 112E2237FE056792 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:20:16] 853*2^1430779-1 is not prime. Res64: 71B6BE413FF827DB Time : 0.0 sec. user=mdettweiler [2016-05-29 21:20:16] 891*2^1430779-1 is not prime. Res64: BA5A1677A8158AA2 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:20:16] 943*2^1430779-1 is not prime. Res64: C8AE41BDA7714136 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:20:17] 609*2^1430780-1 is not prime. Res64: 4A01C5880956AD26 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:39:42] 717*2^1430780-1 is not prime. Res64: F4DDE95835FD665A Time : 0.0 sec. user=mdettweiler [2016-05-29 21:39:42] 977*2^1430780-1 is not prime. Res64: BA9A66A2A129EF8A Time : 0.0 sec. user=mdettweiler [2016-05-29 21:39:42] 607*2^1430781-1 is not prime. Res64: 1BB26B9870BBD035 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:39:42] 639*2^1430781-1 is not prime. Res64: D34BD9A010CA0119 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:39:43] 685*2^1430781-1 is not prime. Res64: 6533271AEBD4D171 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:50:29] 747*2^1430781-1 is not prime. Res64: 3F0472BD615B6B4B Time : 0.0 sec. user=mdettweiler [2016-05-29 21:50:30] 865*2^1430781-1 is not prime. Res64: C8B52ED342D66E01 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:50:30] 895*2^1430781-1 is not prime. Res64: 1A9DB914D62518FC Time : 0.0 sec. user=mdettweiler [2016-05-29 21:50:30] 999*2^1430781-1 is not prime. Res64: C858403F41544B2D Time : 0.0 sec. user=mdettweiler [2016-05-29 21:50:30] 635*2^1430782-1 is not prime. Res64: 204B3A619548CEF5 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:53:22] 647*2^1430782-1 is not prime. Res64: F355959BB27B2F30 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:53:22] 731*2^1430782-1 is not prime. Res64: 78AE023E40BC1861 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:53:22] 761*2^1430782-1 is not prime. Res64: 862F4EF0B81DC8E4 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:53:23] 891*2^1430782-1 is not prime. Res64: 7DBE6DE1D9FD51E9 Time : 0.0 sec. user=mdettweiler [2016-05-29 21:53:23] 911*2^1430782-1 is not prime. Res64: B4D4DFA2A1040812 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:07:35] 753*2^1430783-1 is not prime. Res64: E7A5D839A79C3128 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:07:36] 813*2^1430783-1 is not prime. Res64: D2574CE25849F0EF Time : 0.0 sec. user=mdettweiler [2016-05-29 22:07:36] 859*2^1430783-1 is not prime. Res64: 95E2047D7E957807 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:07:36] 665*2^1430784-1 is not prime. Res64: ED6F6F6E6C3991F7 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:07:37] 725*2^1430784-1 is not prime. Res64: 3178A8A63AC62B34 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:27:23] 759*2^1430784-1 is not prime. Res64: 7DE2B1B2FA01CEB2 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:27:23] 843*2^1430784-1 is not prime. Res64: AC71B4B9435E9114 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:27:24] 909*2^1430784-1 is not prime. Res64: 75160814012A24FF Time : 0.0 sec. user=mdettweiler [2016-05-29 22:27:24] 929*2^1430784-1 is not prime. Res64: 46375989FDE2FFA2 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:27:24] 645*2^1430785-1 is not prime. Res64: 3A427E6C7D026209 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:38:08] 699*2^1430785-1 is not prime. Res64: 4E767A3E710C3B0C Time : 0.0 sec. user=mdettweiler [2016-05-29 22:38:08] 777*2^1430785-1 is not prime. Res64: 6B0837E46A08A55F Time : 0.0 sec. user=mdettweiler [2016-05-29 22:38:09] 861*2^1430785-1 is not prime. Res64: C867F20208C8E15E Time : 0.0 sec. user=mdettweiler [2016-05-29 22:38:09] 877*2^1430785-1 is not prime. Res64: C067C7AF7A305438 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:38:09] 909*2^1430785-1 is not prime. Res64: FD852B8605D0EF99 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:41:02] 957*2^1430785-1 is not prime. Res64: F76AA41905C38FAE Time : 0.0 sec. user=mdettweiler [2016-05-29 22:41:02] 773*2^1430786-1 is not prime. Res64: D3E3DCFF17B85F9C Time : 0.0 sec. user=mdettweiler [2016-05-29 22:41:02] 837*2^1430786-1 is not prime. Res64: D3EA3EBB1F43C02F Time : 0.0 sec. user=mdettweiler [2016-05-29 22:41:03] 867*2^1430786-1 is not prime. Res64: E98E320EE48F89ED Time : 0.0 sec. user=mdettweiler [2016-05-29 22:41:03] 633*2^1430787-1 is not prime. Res64: 287DE82DFDF18CA9 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:54:42] 769*2^1430787-1 is not prime. Res64: 25BBE5DD8AFFC4C6 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:54:42] 795*2^1430787-1 is not prime. Res64: A1D4D0E8706D2DAC Time : 0.0 sec. user=mdettweiler [2016-05-29 22:54:43] 801*2^1430787-1 is not prime. Res64: 39E50F4D6438C4AF Time : 0.0 sec. user=mdettweiler [2016-05-29 22:54:43] 797*2^1430788-1 is not prime. Res64: 50FA99BA8483A379 Time : 0.0 sec. user=mdettweiler [2016-05-29 22:54:43] 825*2^1430788-1 is not prime. Res64: 2A75FD430C97DEAB Time : 0.0 sec. user=mdettweiler [2016-05-29 23:13:31] 923*2^1430788-1 is not prime. Res64: C2740A22C0F414E3 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:13:31] 989*2^1430788-1 is not prime. Res64: 61C95237164B5085 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:13:32] 825*2^1430789-1 is not prime. Res64: 16023B8C391B90B4 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:13:32] 945*2^1430789-1 is not prime. Res64: 7C526DA0AB20D0F9 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:13:32] 861*2^1430790-1 is not prime. Res64: 59096EFAE142E7F6 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:24:44] 963*2^1430790-1 is not prime. Res64: C4D8350962BAC3F9 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:24:45] 965*2^1430790-1 is not prime. Res64: 5DDC5BA9A4C4C2F9 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:24:45] 1001*2^1430790-1 is not prime. Res64: D01B65BED1CA79CE Time : 0.0 sec. user=mdettweiler [2016-05-29 23:24:46] 601*2^1430791-1 is not prime. Res64: 086438DC48F2C6FC Time : 0.0 sec. user=mdettweiler [2016-05-29 23:24:46] 619*2^1430791-1 is not prime. Res64: 6C3F8C8ABB8D10BA Time : 0.0 sec. user=mdettweiler [2016-05-29 23:27:53] 663*2^1430791-1 is not prime. Res64: 430A3B9507A5D2A0 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:27:53] 789*2^1430791-1 is not prime. Res64: 893FD6AB5D736FCA Time : 0.0 sec. user=mdettweiler [2016-05-29 23:27:54] 843*2^1430791-1 is not prime. Res64: CE72C156CBC2E123 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:27:54] 859*2^1430791-1 is not prime. Res64: E3A7F67E65A75958 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:27:55] 885*2^1430791-1 is not prime. Res64: 52CA538EB735B7FC Time : 0.0 sec. user=mdettweiler [2016-05-29 23:40:35] 909*2^1430791-1 is not prime. Res64: 65D8B3B89D04E86A Time : 0.0 sec. user=mdettweiler [2016-05-29 23:40:35] 933*2^1430791-1 is not prime. Res64: F3BD3267176F9F9C Time : 0.0 sec. user=mdettweiler [2016-05-29 23:40:36] 977*2^1430792-1 is not prime. Res64: 7E0431D0AB2402F6 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:40:36] 983*2^1430792-1 is not prime. Res64: 313729D09CA71BB4 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:40:37] 999*2^1430792-1 is not prime. Res64: 5F344DBA421B99DD Time : 0.0 sec. user=mdettweiler [2016-05-29 23:59:18] 637*2^1430793-1 is not prime. Res64: 32BF6C7812AFBD3D Time : 0.0 sec. user=mdettweiler [2016-05-29 23:59:19] 649*2^1430793-1 is not prime. Res64: A4737F5D9918ADA1 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:59:19] 691*2^1430793-1 is not prime. Res64: 47056C91FB912611 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:59:19] 747*2^1430793-1 is not prime. Res64: D524C4E68E5A9115 Time : 0.0 sec. user=mdettweiler [2016-05-29 23:59:20] 751*2^1430793-1 is not prime. Res64: 0103741FB07E46CA Time : 0.0 sec.