user=mdettweiler [2017-04-09 00:08:42] 617*2^1451002-1 is not prime. Res64: BD22C778610657F6 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:08:43] 653*2^1451002-1 is not prime. Res64: DCE478785BB12B94 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:08:43] 723*2^1451002-1 is not prime. Res64: 9CF32E203DABC839 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:08:44] 777*2^1451002-1 is not prime. Res64: A7D35FD47693821B Time : 0.0 sec. user=mdettweiler [2017-04-09 00:08:44] 873*2^1451002-1 is not prime. Res64: 0AAE1374BBBC51C2 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:09:32] 891*2^1451002-1 is not prime. Res64: 3E0B12E46BD4842E Time : 0.0 sec. user=mdettweiler [2017-04-09 00:09:33] 609*2^1451003-1 is not prime. Res64: 310D6927FC48A84C Time : 0.0 sec. user=mdettweiler [2017-04-09 00:09:33] 669*2^1451003-1 is not prime. Res64: 17877E3AB9E3EE74 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:09:34] 679*2^1451003-1 is not prime. Res64: 45E436249D74603D Time : 0.0 sec. user=mdettweiler [2017-04-09 00:09:34] 853*2^1451003-1 is not prime. Res64: CD410EB1D86E10DB Time : 0.0 sec. user=juhehe [2017-04-09 00:19:03] 893*2^1451004-1 is not prime. Res64: 501A2E2871F229A6 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:19:31] 871*2^1451003-1 is not prime. Res64: 821609238E3CFEBC Time : 0.0 sec. user=mdettweiler [2017-04-09 00:19:32] 943*2^1451003-1 is not prime. Res64: F95CC11675738100 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:19:32] 993*2^1451003-1 is not prime. Res64: DA25364ED189386D Time : 0.0 sec. user=mdettweiler [2017-04-09 00:19:32] 629*2^1451004-1 is not prime. Res64: 38B2CA492C82B5E3 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:19:33] 635*2^1451004-1 is not prime. Res64: DBDFE7C46237F65C Time : 0.0 sec. user=mdettweiler [2017-04-09 00:21:25] 693*2^1451004-1 is not prime. Res64: 2CE05D8473D7D3F7 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:21:25] 723*2^1451004-1 is not prime. Res64: 9961315E9899DC53 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:21:25] 759*2^1451004-1 is not prime. Res64: 6343062B485D3892 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:21:26] 765*2^1451004-1 is not prime. Res64: BC2DD58BCC0156BF Time : 0.0 sec. user=mdettweiler [2017-04-09 00:21:26] 767*2^1451004-1 is not prime. Res64: 9544E1B15C611B79 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:53:58] 645*2^1451005-1 is not prime. Res64: C5EB63412D93C469 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:53:58] 717*2^1451005-1 is not prime. Res64: 1EF810CC9C9E6088 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:53:58] 729*2^1451005-1 is not prime. Res64: 07A7E1B944C8DF47 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:53:59] 759*2^1451005-1 is not prime. Res64: 7E37DCCAAE71653B Time : 0.0 sec. user=mdettweiler [2017-04-09 00:53:59] 915*2^1451005-1 is not prime. Res64: A3895510F19614D0 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:54:40] 939*2^1451005-1 is not prime. Res64: 7FA03F87022724D6 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:54:40] 961*2^1451005-1 is not prime. Res64: 37490F82127DDDE0 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:54:41] 981*2^1451005-1 is not prime. Res64: 212F23623E03B3C7 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:54:41] 651*2^1451006-1 is not prime. Res64: ECF5FBF88AA07513 Time : 0.0 sec. user=mdettweiler [2017-04-09 00:54:41] 761*2^1451006-1 is not prime. Res64: F0EA50D1F438FBFB Time : 0.0 sec. user=mdettweiler [2017-04-09 01:05:51] 767*2^1451006-1 is not prime. Res64: C45FA2D2F7C59E03 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:05:53] 801*2^1451006-1 is not prime. Res64: AF10B3EB02D6ADB2 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:05:53] 893*2^1451006-1 is not prime. Res64: 421BEEB340B45875 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:05:54] 971*2^1451006-1 is not prime. Res64: A8761158FDF7EE3F Time : 0.0 sec. user=mdettweiler [2017-04-09 01:05:54] 601*2^1451007-1 is not prime. Res64: F6C1D7EA3242B45E Time : 0.0 sec. user=mdettweiler [2017-04-09 01:07:29] 685*2^1451007-1 is not prime. Res64: BEF2FAC5D09D91FF Time : 0.0 sec. user=mdettweiler [2017-04-09 01:07:29] 703*2^1451007-1 is not prime. Res64: B7CAAFB97E593D40 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:07:30] 765*2^1451007-1 is not prime. Res64: 1C8CCCA82B701349 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:07:30] 781*2^1451007-1 is not prime. Res64: 61C2245BC31708BA Time : 0.0 sec. user=mdettweiler [2017-04-09 01:07:30] 861*2^1451007-1 is not prime. Res64: D92BB0FDBF79845E Time : 0.0 sec. user=mdettweiler [2017-04-09 01:40:05] 885*2^1451007-1 is not prime. Res64: 754A61D7AAFEFD45 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:40:06] 961*2^1451007-1 is not prime. Res64: 587753A7D361358D Time : 0.0 sec. user=mdettweiler [2017-04-09 01:40:06] 963*2^1451007-1 is not prime. Res64: 3AA499F2557C658F Time : 0.0 sec. user=mdettweiler [2017-04-09 01:40:07] 605*2^1451008-1 is not prime. Res64: 2E95B9230A598633 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:40:07] 665*2^1451008-1 is not prime. Res64: 74398A2CF1A401DF Time : 0.0 sec. user=mdettweiler [2017-04-09 01:40:48] 699*2^1451008-1 is not prime. Res64: 2306C8A7B5AD6A80 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:40:49] 755*2^1451008-1 is not prime. Res64: 8A3B5ED31496426F Time : 0.0 sec. user=mdettweiler [2017-04-09 01:40:49] 797*2^1451008-1 is not prime. Res64: 58B3AEA270D63E71 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:40:49] 869*2^1451008-1 is not prime. Res64: 6577E48215468173 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:40:50] 905*2^1451008-1 is not prime. Res64: 8AA50610E8FCED5B Time : 0.0 sec. user=mdettweiler [2017-04-09 01:51:39] 915*2^1451008-1 is not prime. Res64: 04AF707539FEAEFF Time : 0.0 sec. user=mdettweiler [2017-04-09 01:51:39] 929*2^1451008-1 is not prime. Res64: 492F2198D4F8C0B4 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:51:40] 933*2^1451008-1 is not prime. Res64: F2E706FBEF281354 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:51:40] 615*2^1451009-1 is not prime. Res64: C4FD1A4C781D4993 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:51:41] 637*2^1451009-1 is not prime. Res64: 962817BFF57DAE2E Time : 0.0 sec. user=mdettweiler [2017-04-09 01:53:46] 771*2^1451009-1 is not prime. Res64: FD731C66C8F57810 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:53:46] 829*2^1451009-1 is not prime. Res64: 5464506FC654B3FF Time : 0.0 sec. user=mdettweiler [2017-04-09 01:53:47] 957*2^1451009-1 is not prime. Res64: 0C830A1AF21C7549 Time : 0.0 sec. user=mdettweiler [2017-04-09 01:53:47] 997*2^1451009-1 is not prime. Res64: 9E17B6BC14182C3A Time : 0.0 sec. user=mdettweiler [2017-04-09 01:53:48] 677*2^1451010-1 is not prime. Res64: A1AB09011961C7B7 Time : 0.0 sec. user=mdettweiler [2017-04-09 02:26:15] 711*2^1451010-1 is not prime. Res64: 0079BB84F77AC36A Time : 0.0 sec. user=mdettweiler [2017-04-09 02:26:15] 741*2^1451010-1 is not prime. Res64: 09DA6BA378CD794E Time : 0.0 sec. user=mdettweiler [2017-04-09 02:26:16] 773*2^1451010-1 is not prime. Res64: 3629AB9FE81E2B37 Time : 0.0 sec. user=mdettweiler [2017-04-09 02:26:16] 801*2^1451010-1 is not prime. Res64: 538CE55922AEE251 Time : 0.0 sec. user=mdettweiler [2017-04-09 02:26:16] 821*2^1451010-1 is not prime. Res64: 24B28F95B0D88C47 Time : 0.0 sec. user=mdettweiler [2017-04-09 02:26:50] 951*2^1451010-1 is not prime. Res64: B4601BC6B3EA56D8 Time : 0.0 sec. user=mdettweiler [2017-04-09 02:26:50] 601*2^1451011-1 is not prime. Res64: B07C19FE8BE9EE0B Time : 0.0 sec. user=mdettweiler [2017-04-09 02:26:51] 703*2^1451011-1 is not prime. Res64: DB6C741963E07723 Time : 0.0 sec. user=mdettweiler [2017-04-09 02:26:51] 769*2^1451011-1 is not prime. Res64: FA6E5F520317BB74 Time : 0.0 sec. user=mdettweiler [2017-04-09 02:26:51] 855*2^1451011-1 is not prime. Res64: 7002A5302EBC31AC Time : 0.0 sec. user=mdettweiler [2017-04-09 02:37:03] 859*2^1451011-1 is not prime. Res64: 1D5DA86364F9624A Time : 0.0 sec. user=mdettweiler [2017-04-09 02:37:04] 913*2^1451011-1 is not prime. Res64: 5060A1908BDF69F7 Time : 0.0 sec. user=mdettweiler [2017-04-09 02:37:04] 961*2^1451011-1 is not prime. Res64: DFFDF030F33F08FF Time : 0.0 sec. user=mdettweiler [2017-04-09 02:37:05] 969*2^1451011-1 is not prime. Res64: FDECD637330066FB Time : 0.0 sec. user=mdettweiler [2017-04-09 02:37:05] 623*2^1451012-1 is not prime. Res64: B5E4DED13BFAA343 Time : 0.0 sec. user=mdettweiler [2017-04-09 02:39:33] 635*2^1451012-1 is not prime. Res64: 6FE973B3270B956A Time : 0.0 sec. user=mdettweiler [2017-04-09 02:39:33] 693*2^1451012-1 is not prime. Res64: 8E42223437168C73 Time : 0.0 sec. user=mdettweiler [2017-04-09 02:39:34] 717*2^1451012-1 is not prime. Res64: FE3B624C6AC7851F Time : 0.0 sec. user=mdettweiler [2017-04-09 02:39:34] 725*2^1451012-1 is not prime. Res64: 86236AE1C58E7947 Time : 0.0 sec. user=mdettweiler [2017-04-09 02:39:34] 735*2^1451012-1 is not prime. Res64: 4EB570671B2D5497 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:11:24] 777*2^1451012-1 is not prime. Res64: 24C4169BAB4D76E0 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:11:25] 963*2^1451012-1 is not prime. Res64: B54195F6C0BC4869 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:11:25] 691*2^1451013-1 is not prime. Res64: 530BDFE6E3852C7F Time : 0.0 sec. user=mdettweiler [2017-04-09 03:11:26] 735*2^1451013-1 is not prime. Res64: 3947CF6E3542858D Time : 0.0 sec. user=mdettweiler [2017-04-09 03:11:26] 835*2^1451013-1 is not prime. Res64: A413BC63F2B60008 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:11:53] 847*2^1451013-1 is not prime. Res64: 96D7A1F007840098 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:11:53] 867*2^1451013-1 is not prime. Res64: 7029F23A916D1BC0 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:11:54] 885*2^1451013-1 is not prime. Res64: 7DA5F07D59EFE135 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:11:54] 919*2^1451013-1 is not prime. Res64: FFE0F2BA41601635 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:11:55] 987*2^1451013-1 is not prime. Res64: 1C19CAE1A6FFE8AC Time : 0.0 sec. user=mdettweiler [2017-04-09 03:22:20] 863*2^1451014-1 is not prime. Res64: 5DCB57043B6055E2 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:22:21] 891*2^1451014-1 is not prime. Res64: 667A039A40069AAA Time : 0.0 sec. user=mdettweiler [2017-04-09 03:22:21] 945*2^1451014-1 is not prime. Res64: A8971F141848C6B1 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:22:21] 947*2^1451014-1 is not prime. Res64: F7A442F387EA79C4 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:22:22] 753*2^1451015-1 is not prime. Res64: 5D1CBFDC066E190C Time : 0.0 sec. user=mdettweiler [2017-04-09 03:24:31] 759*2^1451015-1 is not prime. Res64: B8AF9E7ADD69561F Time : 0.0 sec. user=mdettweiler [2017-04-09 03:24:31] 831*2^1451015-1 is not prime. Res64: E5BB2B316BE12A0E Time : 0.0 sec. user=mdettweiler [2017-04-09 03:24:32] 855*2^1451015-1 is not prime. Res64: 1B029F16C2D8B08C Time : 0.0 sec. user=mdettweiler [2017-04-09 03:24:32] 861*2^1451015-1 is not prime. Res64: 9EC2BFFA86654BE5 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:24:33] 999*2^1451015-1 is not prime. Res64: 2F86FB7E2779A967 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:56:38] 629*2^1451016-1 is not prime. Res64: F02F98EF5636E468 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:56:42] 635*2^1451016-1 is not prime. Res64: 1837FC210A190230 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:56:43] 717*2^1451016-1 is not prime. Res64: 7B647B989A739940 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:56:46] 735*2^1451016-1 is not prime. Res64: 918759F55CA382A3 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:56:47] 747*2^1451016-1 is not prime. Res64: 266CCBCC644C11F2 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:56:53] 879*2^1451016-1 is not prime. Res64: B49C5C126A0FC507 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:56:54] 917*2^1451016-1 is not prime. Res64: D52C864E8099E3A8 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:56:54] 799*2^1451017-1 is not prime. Res64: B3E348C15503CCBE Time : 0.0 sec. user=mdettweiler [2017-04-09 03:56:55] 895*2^1451017-1 is not prime. Res64: B58AA9B636005DB4 Time : 0.0 sec. user=mdettweiler [2017-04-09 03:56:55] 985*2^1451017-1 is not prime. Res64: 36B4476055768C5F Time : 0.0 sec. user=mdettweiler [2017-04-09 04:07:57] 941*2^1451018-1 is not prime. Res64: 9F5EA078430FD92F Time : 0.0 sec. user=mdettweiler [2017-04-09 04:07:58] 613*2^1451019-1 is not prime. Res64: 92974466B825D7E9 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:07:58] 663*2^1451019-1 is not prime. Res64: 6069C7C85C495484 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:07:59] 745*2^1451019-1 is not prime. Res64: 19D51621D2AAB723 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:07:59] 769*2^1451019-1 is not prime. Res64: EAF631E7A4C5D91F Time : 0.0 sec. user=mdettweiler [2017-04-09 04:10:43] 825*2^1451019-1 is not prime. Res64: 59BFFCC6EDC2D5AA Time : 0.0 sec. user=mdettweiler [2017-04-09 04:10:44] 853*2^1451019-1 is not prime. Res64: 1DDF8F004EACEA7D Time : 0.0 sec. user=mdettweiler [2017-04-09 04:10:44] 861*2^1451019-1 is not prime. Res64: DA935B10F215899E Time : 0.0 sec. user=mdettweiler [2017-04-09 04:10:44] 879*2^1451019-1 is not prime. Res64: 7F76646896A4C5D9 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:10:45] 999*2^1451019-1 is not prime. Res64: 5757EB7AAF3C8CFC Time : 0.0 sec. user=mdettweiler [2017-04-09 04:44:18] 609*2^1451020-1 is not prime. Res64: AE4C163283AD39D6 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:44:19] 717*2^1451020-1 is not prime. Res64: 09BA718552552318 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:44:19] 863*2^1451020-1 is not prime. Res64: FC6902F11149B534 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:44:19] 875*2^1451020-1 is not prime. Res64: A96AE64744934405 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:44:20] 999*2^1451020-1 is not prime. Res64: F76E0D6281CF0C31 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:45:16] 657*2^1451021-1 is not prime. Res64: 8DA79261C77216D7 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:45:16] 769*2^1451021-1 is not prime. Res64: 61738FE93ABFF359 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:45:16] 805*2^1451021-1 is not prime. Res64: 4594571EE27D44E9 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:45:17] 945*2^1451021-1 is not prime. Res64: 8D5CF0BE8DFE76E8 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:45:17] 653*2^1451022-1 is not prime. Res64: B150A5A812DB0234 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:55:09] 945*2^1451022-1 is not prime. Res64: 051D24772B1930F1 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:55:09] 615*2^1451023-1 is not prime. Res64: E02EF42A79CB34A1 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:55:10] 649*2^1451023-1 is not prime. Res64: EF55C564F0A42479 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:55:10] 853*2^1451023-1 is not prime. Res64: 1A204FD131060A3D Time : 0.0 sec. user=mdettweiler [2017-04-09 04:55:10] 861*2^1451023-1 is not prime. Res64: 88D6BDC9A91F0560 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:57:44] 891*2^1451023-1 is not prime. Res64: BE8A08B5CBA91D37 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:57:44] 939*2^1451023-1 is not prime. Res64: 137C63BAB23BDB0B Time : 0.0 sec. user=mdettweiler [2017-04-09 04:57:44] 645*2^1451024-1 is not prime. Res64: EA0A0FBD6AEEEA71 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:57:45] 665*2^1451024-1 is not prime. Res64: 7CE22E403D0E1108 Time : 0.0 sec. user=mdettweiler [2017-04-09 04:57:45] 717*2^1451024-1 is not prime. Res64: 3F41173EE8888193 Time : 0.0 sec. user=mdettweiler [2017-04-09 05:29:20] 915*2^1451024-1 is not prime. Res64: 0CA68512F6F7C1CC Time : 0.0 sec. user=mdettweiler [2017-04-09 05:29:21] 959*2^1451024-1 is not prime. Res64: 577874865CA8D780 Time : 0.0 sec. user=mdettweiler [2017-04-09 05:29:21] 995*2^1451024-1 is not prime. Res64: 446B5F67B5286D2F Time : 0.0 sec. user=mdettweiler [2017-04-09 05:29:21] 679*2^1451025-1 is not prime. Res64: 9558925929D0D7EB Time : 0.0 sec. user=mdettweiler [2017-04-09 05:29:22] 691*2^1451025-1 is not prime. Res64: C127A79D143F091F Time : 0.0 sec. user=mdettweiler [2017-04-09 05:30:17] 739*2^1451025-1 is not prime. Res64: 40A49D0D8D75B32A Time : 0.0 sec. user=mdettweiler [2017-04-09 05:30:17] 969*2^1451025-1 is not prime. Res64: B7F7A6723D99A34C Time : 0.0 sec. user=mdettweiler [2017-04-09 05:30:18] 999*2^1451025-1 is not prime. Res64: 82186ADFD3C42C28 Time : 0.0 sec. user=mdettweiler [2017-04-09 05:30:18] 633*2^1451026-1 is not prime. Res64: 28F2F21DFFA42D14 Time : 0.0 sec. user=mdettweiler [2017-04-09 05:30:18] 695*2^1451026-1 is not prime. Res64: E80820E1DCBABE5A Time : 0.0 sec. user=juhehe [2017-04-09 05:39:48] 753*2^1451028-1 is not prime. Res64: F7F7E7495FFA8CD0 Time : 0.0 sec. user=mdettweiler [2017-04-09 05:40:08] 735*2^1451026-1 is not prime. Res64: 30D714FEA9AF0628 Time : 0.0 sec. user=mdettweiler [2017-04-09 05:40:08] 783*2^1451026-1 is not prime. Res64: 1ECDF2DE9EB805FE Time : 0.0 sec. user=mdettweiler [2017-04-09 05:40:09] 911*2^1451026-1 is not prime. Res64: 1F53ED199352224C Time : 0.0 sec. user=mdettweiler [2017-04-09 05:40:09] 917*2^1451026-1 is not prime. Res64: D82A7177E0DC858F Time : 0.0 sec. user=mdettweiler [2017-04-09 05:40:10] 895*2^1451027-1 is not prime. Res64: 6A32ED37F3022871 Time : 0.0 sec. user=mdettweiler [2017-04-09 05:42:50] 629*2^1451028-1 is not prime. Res64: 39AB434D77F6814D Time : 0.0 sec. user=mdettweiler [2017-04-09 05:42:50] 647*2^1451028-1 is not prime. Res64: FD2F0591093FAAC2 Time : 0.0 sec. user=mdettweiler [2017-04-09 05:42:50] 705*2^1451028-1 is not prime. Res64: 073C50ACCAE5A888 Time : 0.0 sec. user=mdettweiler [2017-04-09 05:42:51] 707*2^1451028-1 is not prime. Res64: 47387E8DC305DE25 Time : 0.0 sec. user=mdettweiler [2017-04-09 05:42:51] 737*2^1451028-1 is not prime. Res64: B419D6D27927FE4A Time : 0.0 sec. user=mdettweiler [2017-04-09 06:14:32] 797*2^1451028-1 is not prime. Res64: 48E6EE7E97AA6F99 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:14:32] 839*2^1451028-1 is not prime. Res64: 51DB7A3BB006E212 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:14:33] 845*2^1451028-1 is not prime. Res64: A8363715233B6637 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:14:33] 887*2^1451028-1 is not prime. Res64: 708DEB3F4BB4F5B7 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:14:34] 947*2^1451028-1 is not prime. Res64: 9A7D23BD375068DB Time : 0.0 sec. user=mdettweiler [2017-04-09 06:15:31] 601*2^1451029-1 is not prime. Res64: 1E2B99DBD3DB1813 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:15:31] 615*2^1451029-1 is not prime. Res64: FF82DBD73242D0BE Time : 0.0 sec. user=mdettweiler [2017-04-09 06:15:32] 625*2^1451029-1 is not prime. Res64: CF69EABA6FD42A42 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:15:32] 751*2^1451029-1 is not prime. Res64: 09BA071BD88F5F73 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:15:33] 829*2^1451029-1 is not prime. Res64: 79488B7D8C58B899 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:25:11] 885*2^1451029-1 is not prime. Res64: 6CCAF348524A5B48 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:25:12] 919*2^1451029-1 is not prime. Res64: FB3BAADEFBA3BF88 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:25:12] 939*2^1451029-1 is not prime. Res64: 92016D38A72B99D2 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:25:12] 641*2^1451030-1 is not prime. Res64: 16771656EF0BA565 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:25:13] 645*2^1451030-1 is not prime. Res64: B31BC47B52490846 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:27:52] 743*2^1451030-1 is not prime. Res64: 3C3E64096C98BB15 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:27:52] 755*2^1451030-1 is not prime. Res64: D12BA7CA4FB91A42 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:27:53] 843*2^1451030-1 is not prime. Res64: 6F4316EEF496DC01 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:27:53] 917*2^1451030-1 is not prime. Res64: 1CFD4264428AE55A Time : 0.0 sec. user=mdettweiler [2017-04-09 06:27:53] 935*2^1451030-1 is not prime. Res64: 401C2A1CE570DAE6 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:59:35] 601*2^1451031-1 is not prime. Res64: F4492D84AE066DB6 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:59:36] 615*2^1451031-1 is not prime. Res64: 3F2E80B5A453ECF5 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:59:36] 741*2^1451031-1 is not prime. Res64: 3D06719D56E6E5EA Time : 0.0 sec. user=mdettweiler [2017-04-09 06:59:36] 775*2^1451031-1 is not prime. Res64: 0B023EEC95F44B91 Time : 0.0 sec. user=mdettweiler [2017-04-09 06:59:37] 819*2^1451031-1 is not prime. Res64: 558D1488C334C955 Time : 0.0 sec. user=juhehe [2017-04-09 07:00:14] 689*2^1451032-1 is not prime. Res64: 881192D5C183FA31 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:00:49] 873*2^1451031-1 is not prime. Res64: EDCF047C48FB9829 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:00:50] 909*2^1451031-1 is not prime. Res64: FB014744BF4AB927 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:00:51] 921*2^1451031-1 is not prime. Res64: BD02409397E647FF Time : 0.0 sec. user=mdettweiler [2017-04-09 07:00:51] 677*2^1451032-1 is not prime. Res64: 01CBDF774C6F37F2 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:00:52] 687*2^1451032-1 is not prime. Res64: 97927AE1FC7BC9BF Time : 0.0 sec. user=mdettweiler [2017-04-09 07:10:25] 719*2^1451032-1 is not prime. Res64: 417E30DC2B7CA4E0 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:10:25] 735*2^1451032-1 is not prime. Res64: D27E439D3B58594A Time : 0.0 sec. user=mdettweiler [2017-04-09 07:10:26] 797*2^1451032-1 is not prime. Res64: 3599CAB9E3A305CB Time : 0.0 sec. user=mdettweiler [2017-04-09 07:10:26] 863*2^1451032-1 is not prime. Res64: 4AB0F0F4CC8F28BE Time : 0.0 sec. user=mdettweiler [2017-04-09 07:10:26] 903*2^1451032-1 is not prime. Res64: F33A4135AFD39149 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:12:55] 923*2^1451032-1 is not prime. Res64: C1E7C846B7CF54FB Time : 0.0 sec. user=mdettweiler [2017-04-09 07:12:55] 947*2^1451032-1 is not prime. Res64: 0DA592CA28B3D228 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:12:56] 619*2^1451033-1 is not prime. Res64: 3C9928EEFF5EE52C Time : 0.0 sec. user=mdettweiler [2017-04-09 07:12:56] 747*2^1451033-1 is not prime. Res64: 8015110B12515931 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:12:57] 855*2^1451033-1 is not prime. Res64: 8878AC423B510701 Time : 0.0 sec. user=juhehe [2017-04-09 07:39:57] 683*2^1451034-1 is not prime. Res64: FEB3C99D86E8E0DA Time : 0.0 sec. user=mdettweiler [2017-04-09 07:44:38] 901*2^1451033-1 is not prime. Res64: D761D76FDD87E734 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:44:39] 925*2^1451033-1 is not prime. Res64: 63B2BD5CDA893FA6 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:44:39] 957*2^1451033-1 is not prime. Res64: CDB4D579E470D2FF Time : 0.0 sec. user=mdettweiler [2017-04-09 07:44:40] 967*2^1451033-1 is not prime. Res64: C3DA2BF7D3BB9B18 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:44:40] 981*2^1451033-1 is not prime. Res64: 8BE180127951B975 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:45:55] 915*2^1451034-1 is not prime. Res64: 58B970349FDD3743 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:45:56] 983*2^1451034-1 is not prime. Res64: CCC27E89DC9E1261 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:45:56] 645*2^1451035-1 is not prime. Res64: 3A5DEDD3AB5225C1 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:45:57] 679*2^1451035-1 is not prime. Res64: 201DB72CC558F987 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:45:57] 723*2^1451035-1 is not prime. Res64: 098CF839EE73B38D Time : 0.0 sec. user=mdettweiler [2017-04-09 07:55:28] 783*2^1451035-1 is not prime. Res64: 928B72DD5986435D Time : 0.0 sec. user=mdettweiler [2017-04-09 07:55:28] 855*2^1451035-1 is not prime. Res64: CBB494C23538D13C Time : 0.0 sec. user=mdettweiler [2017-04-09 07:55:28] 859*2^1451035-1 is not prime. Res64: 6D857C9189AE503C Time : 0.0 sec. user=mdettweiler [2017-04-09 07:55:29] 871*2^1451035-1 is not prime. Res64: 955FE7A6D684D7AF Time : 0.0 sec. user=mdettweiler [2017-04-09 07:55:29] 951*2^1451035-1 is not prime. Res64: 976FD0A1B1B425DE Time : 0.0 sec. user=mdettweiler [2017-04-09 07:57:55] 603*2^1451036-1 is not prime. Res64: 57472CA5E0DAB44B Time : 0.0 sec. user=mdettweiler [2017-04-09 07:57:55] 677*2^1451036-1 is not prime. Res64: 0C7DEB65D523DD7A Time : 0.0 sec. user=mdettweiler [2017-04-09 07:57:56] 999*2^1451036-1 is not prime. Res64: 42D1EC684FBEA3E3 Time : 0.0 sec. user=mdettweiler [2017-04-09 07:57:56] 667*2^1451037-1 is not prime. Res64: C3237AF54C061A5E Time : 0.0 sec. user=mdettweiler [2017-04-09 07:57:56] 765*2^1451037-1 is not prime. Res64: 1EEF4ACE2C833919 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:29:51] 769*2^1451037-1 is not prime. Res64: D429D70830B04B96 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:29:52] 927*2^1451037-1 is not prime. Res64: 760D34F6B51692F5 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:29:52] 949*2^1451037-1 is not prime. Res64: 5A3B335D9739EF7E Time : 0.0 sec. user=mdettweiler [2017-04-09 08:29:52] 695*2^1451038-1 is not prime. Res64: B545F9E657BBE8B8 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:29:53] 821*2^1451038-1 is not prime. Res64: B538AEA8EB68330B Time : 0.0 sec. user=mdettweiler [2017-04-09 08:30:53] 987*2^1451038-1 is not prime. Res64: 4907983630BD7790 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:30:53] 993*2^1451038-1 is not prime. Res64: 90CF574009B94844 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:30:53] 655*2^1451039-1 is not prime. Res64: A529193E103BFF73 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:30:54] 669*2^1451039-1 is not prime. Res64: E34F13C634496E5B Time : 0.0 sec. user=mdettweiler [2017-04-09 08:30:54] 705*2^1451039-1 is not prime. Res64: D2C7036366AB309E Time : 0.0 sec. user=mdettweiler [2017-04-09 08:40:30] 813*2^1451039-1 is not prime. Res64: 80BC9ACE4B0CF1A4 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:40:30] 853*2^1451039-1 is not prime. Res64: EA6B3310976633FC Time : 0.0 sec. user=mdettweiler [2017-04-09 08:40:30] 861*2^1451039-1 is not prime. Res64: 27E5F4AA2DA02F45 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:40:31] 883*2^1451039-1 is not prime. Res64: BF88D71E80E13862 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:40:31] 943*2^1451039-1 is not prime. Res64: 9BD3C5E8FBC94525 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:42:57] 955*2^1451039-1 is not prime. Res64: A27DAB594916EAF2 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:42:58] 627*2^1451040-1 is not prime. Res64: C6FB8B90EC4C62BE Time : 0.0 sec. user=mdettweiler [2017-04-09 08:42:58] 669*2^1451040-1 is not prime. Res64: 2C97AC6C2D7C4DBE Time : 0.0 sec. user=mdettweiler [2017-04-09 08:42:59] 779*2^1451040-1 is not prime. Res64: 6D0DCA03562569D0 Time : 0.0 sec. user=mdettweiler [2017-04-09 08:42:59] 843*2^1451040-1 is not prime. Res64: 717C5CC4012D1B24 Time : 0.0 sec. user=juhehe [2017-04-09 08:59:39] 887*2^1451040-1 is not prime. Res64: 801DC52D2FCFED7A Time : 0.0 sec. user=mdettweiler [2017-04-09 09:14:58] 615*2^1451041-1 is not prime. Res64: 1625A0ABE75F33BD Time : 0.0 sec. user=mdettweiler [2017-04-09 09:14:58] 741*2^1451041-1 is not prime. Res64: F2569E53735F8DB0 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:14:59] 771*2^1451041-1 is not prime. Res64: 793CA3D5BB1AAE85 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:14:59] 819*2^1451041-1 is not prime. Res64: 871CDD5B0F3FCDF2 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:15:00] 931*2^1451041-1 is not prime. Res64: 53ED95AD1F6DD2DF Time : 0.0 sec. user=mdettweiler [2017-04-09 09:15:54] 955*2^1451041-1 is not prime. Res64: F515881E19EF1D55 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:15:55] 665*2^1451042-1 is not prime. Res64: 7D42185A90789717 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:15:55] 675*2^1451042-1 is not prime. Res64: 2223177E86C85886 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:15:56] 683*2^1451042-1 is not prime. Res64: D150E4A769AE9E52 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:15:56] 743*2^1451042-1 is not prime. Res64: 6D8F2CB014C193A0 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:25:38] 767*2^1451042-1 is not prime. Res64: 312425781D4ECC44 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:25:39] 833*2^1451042-1 is not prime. Res64: 0324959AF881A897 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:25:39] 963*2^1451042-1 is not prime. Res64: D30697178A5F2057 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:25:40] 977*2^1451042-1 is not prime. Res64: EBC6FA6A7F3CF7B3 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:25:40] 619*2^1451043-1 is not prime. Res64: F74DF2996618CE2D Time : 0.0 sec. user=mdettweiler [2017-04-09 09:28:01] 685*2^1451043-1 is not prime. Res64: EA26BEF95D34A046 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:28:01] 879*2^1451043-1 is not prime. Res64: 1953E783D672E8D8 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:28:02] 985*2^1451043-1 is not prime. Res64: 52BE09DA6026592C Time : 0.0 sec. user=mdettweiler [2017-04-09 09:28:02] 615*2^1451044-1 is not prime. Res64: 0452122667BA2A66 Time : 0.0 sec. user=mdettweiler [2017-04-09 09:28:02] 675*2^1451044-1 is not prime. Res64: 6A22B359537AE2AA Time : 0.0 sec. user=juhehe [2017-04-09 09:40:25] 677*2^1451044-1 is not prime. Res64: A682A56C0C121CE7 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:00:13] 723*2^1451044-1 is not prime. Res64: F1C3311453B6EB34 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:00:14] 743*2^1451044-1 is not prime. Res64: 530069A8AD1F77CF Time : 0.0 sec. user=mdettweiler [2017-04-09 10:00:16] 759*2^1451044-1 is not prime. Res64: 4CDDF1A1AFCAA216 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:00:17] 765*2^1451044-1 is not prime. Res64: E164BCD4D42A066F Time : 0.0 sec. user=mdettweiler [2017-04-09 10:00:18] 783*2^1451044-1 is not prime. Res64: B77B98388A326587 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:00:58] 887*2^1451044-1 is not prime. Res64: AEA15F3ECCA83D2E Time : 0.0 sec. user=mdettweiler [2017-04-09 10:00:59] 975*2^1451044-1 is not prime. Res64: FD541914131CA0E7 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:00:59] 993*2^1451044-1 is not prime. Res64: 44543B1CE78D833F Time : 0.0 sec. user=mdettweiler [2017-04-09 10:01:00] 607*2^1451045-1 is not prime. Res64: 7FC231298CAFFE89 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:01:00] 685*2^1451045-1 is not prime. Res64: E8405907F14EA1B1 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:10:40] 691*2^1451045-1 is not prime. Res64: A79BDFC19CE33BFA Time : 0.0 sec. user=mdettweiler [2017-04-09 10:10:41] 771*2^1451045-1 is not prime. Res64: 8C0482B235B8B2F3 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:10:41] 825*2^1451045-1 is not prime. Res64: 2ADA1E5B1F5473C5 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:10:41] 847*2^1451045-1 is not prime. Res64: D60FFB2B5FB55E5B Time : 0.0 sec. user=mdettweiler [2017-04-09 10:10:42] 859*2^1451045-1 is not prime. Res64: 89FE18B2C71B6BFA Time : 0.0 sec. user=mdettweiler [2017-04-09 10:13:12] 927*2^1451045-1 is not prime. Res64: 9D501950753F8E65 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:13:12] 671*2^1451046-1 is not prime. Res64: A4C8611CA81638CD Time : 0.0 sec. user=mdettweiler [2017-04-09 10:13:13] 713*2^1451046-1 is not prime. Res64: C90E1222A733D977 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:13:13] 783*2^1451046-1 is not prime. Res64: E8E59848DC183477 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:13:13] 815*2^1451046-1 is not prime. Res64: 7148A5D9465F216A Time : 0.0 sec. user=mdettweiler [2017-04-09 10:45:26] 933*2^1451046-1 is not prime. Res64: 1E56BF84C0AD9513 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:45:27] 993*2^1451046-1 is not prime. Res64: 53B53F4896071737 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:45:27] 1001*2^1451046-1 is not prime. Res64: 69B1A5D9480C52CE Time : 0.0 sec. user=mdettweiler [2017-04-09 10:45:27] 619*2^1451047-1 is not prime. Res64: 44EE4D6450A2D67C Time : 0.0 sec. user=mdettweiler [2017-04-09 10:45:28] 681*2^1451047-1 is not prime. Res64: 4BE96CD97D541DD5 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:46:06] 729*2^1451047-1 is not prime. Res64: 2793D8CCF50E7A50 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:46:06] 741*2^1451047-1 is not prime. Res64: 40A11847440062A1 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:46:07] 829*2^1451047-1 is not prime. Res64: A77A7DFE9EFED8C8 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:46:07] 861*2^1451047-1 is not prime. Res64: FF27D8B28215679C Time : 0.0 sec. user=mdettweiler [2017-04-09 10:46:08] 919*2^1451047-1 is not prime. Res64: DF896B328FC35578 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:55:59] 999*2^1451047-1 is not prime. Res64: B3EEF38229CBEA73 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:56:00] 725*2^1451048-1 is not prime. Res64: 278192FC728FC7FE Time : 0.0 sec. user=mdettweiler [2017-04-09 10:56:00] 759*2^1451048-1 is not prime. Res64: D70FDE18964F6113 Time : 0.0 sec. user=mdettweiler [2017-04-09 10:56:00] 839*2^1451048-1 is not prime. Res64: C15F88D378C55D9F Time : 0.0 sec. user=mdettweiler [2017-04-09 10:56:01] 845*2^1451048-1 is not prime. Res64: A8634B55BB5CA03D Time : 0.0 sec. user=mdettweiler [2017-04-09 10:58:27] 855*2^1451048-1 is not prime. Res64: 6176B1CCCF3C471F Time : 0.0 sec. user=mdettweiler [2017-04-09 10:58:27] 875*2^1451048-1 is not prime. Res64: A38339A1CFDFE15D Time : 0.0 sec. user=mdettweiler [2017-04-09 10:58:28] 627*2^1451049-1 is not prime. Res64: FCD4F3F11AE662FC Time : 0.0 sec. user=mdettweiler [2017-04-09 10:58:28] 657*2^1451049-1 is not prime. Res64: 2BDC64B6BCA6800C Time : 0.0 sec. user=mdettweiler [2017-04-09 10:58:28] 669*2^1451049-1 is not prime. Res64: 51486169E8A7A6A5 Time : 0.0 sec. user=juhehe [2017-04-09 11:01:20] 741*2^1451049-1 is not prime. Res64: 320202D8EDB44AF0 Time : 0.0 sec. user=mdettweiler [2017-04-09 11:30:37] 865*2^1451049-1 is not prime. Res64: F9662DDC1451CA0E Time : 0.0 sec. user=mdettweiler [2017-04-09 11:30:37] 895*2^1451049-1 is not prime. Res64: F0ECF21124995C5B Time : 0.0 sec. user=mdettweiler [2017-04-09 11:30:38] 987*2^1451049-1 is not prime. Res64: 8798E21C6F657EF5 Time : 0.0 sec. user=mdettweiler [2017-04-09 11:30:38] 623*2^1451050-1 is not prime. Res64: 64AE8B1192A4F06B Time : 0.0 sec. user=mdettweiler [2017-04-09 11:30:39] 645*2^1451050-1 is not prime. Res64: 7A9DC22CBE1707AC Time : 0.0 sec. user=mdettweiler [2017-04-09 11:31:13] 687*2^1451050-1 is not prime. Res64: 905340E94953EED3 Time : 0.0 sec. user=mdettweiler [2017-04-09 11:31:14] 773*2^1451050-1 is not prime. Res64: 8451C2C8926427D4 Time : 0.0 sec. user=mdettweiler [2017-04-09 11:31:14] 833*2^1451050-1 is not prime. Res64: F9665AA6EDE07AEB Time : 0.0 sec. user=mdettweiler [2017-04-09 11:31:15] 845*2^1451050-1 is not prime. Res64: 3933CCA737079C55 Time : 0.0 sec. user=mdettweiler [2017-04-09 11:31:15] 873*2^1451050-1 is not prime. Res64: 2D2B82C4D0F1F077 Time : 0.0 sec. user=mdettweiler [2017-04-09 11:41:02] 945*2^1451050-1 is not prime. Res64: 32F35C095CA0ACFF Time : 0.0 sec. user=mdettweiler [2017-04-09 11:41:02] 603*2^1451051-1 is not prime. Res64: 22BF6AEF78119A17 Time : 0.0 sec. user=mdettweiler [2017-04-09 11:41:02] 621*2^1451051-1 is not prime. Res64: 5CEF6EBBE2F03F1C Time : 0.0 sec. user=mdettweiler [2017-04-09 11:41:03] 789*2^1451051-1 is not prime. Res64: D34E09E5A9F32F45 Time : 0.0 sec. user=mdettweiler [2017-04-09 11:41:03] 841*2^1451051-1 is not prime. Res64: 2EF23C3AA52A9F2A Time : 0.0 sec. user=juhehe [2017-04-09 11:41:06] 843*2^1451052-1 is not prime. Res64: 2D87DAA34C30EAEC Time : 0.0 sec. user=mdettweiler [2017-04-09 11:43:28] 931*2^1451051-1 is not prime. Res64: 58CAD453BF93CA62 Time : 0.0 sec. user=mdettweiler [2017-04-09 11:43:28] 993*2^1451051-1 is not prime. Res64: 5DD073E179AC62A2 Time : 0.0 sec. user=mdettweiler [2017-04-09 11:43:29] 665*2^1451052-1 is not prime. Res64: 1E4768CDF8763EBA Time : 0.0 sec. user=mdettweiler [2017-04-09 11:43:29] 689*2^1451052-1 is not prime. Res64: 9A88300FE98EADE5 Time : 0.0 sec. user=mdettweiler [2017-04-09 11:43:29] 767*2^1451052-1 is not prime. Res64: 41E22FC0CEF232DD Time : 0.0 sec. user=mdettweiler [2017-04-09 12:15:54] 923*2^1451052-1 is not prime. Res64: F4AD9E504847AD9F Time : 0.0 sec. user=mdettweiler [2017-04-09 12:15:55] 933*2^1451052-1 is not prime. Res64: 8B3132B02DC4C9A2 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:15:55] 935*2^1451052-1 is not prime. Res64: E5CE49594D442370 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:15:56] 957*2^1451052-1 is not prime. Res64: DDB35DB9D3F2FA04 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:15:56] 975*2^1451052-1 is not prime. Res64: 11B73FB1EF0AE791 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:16:14] 831*2^1451053-1 is not prime. Res64: 4EFF340C29DD9C41 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:16:14] 895*2^1451053-1 is not prime. Res64: CE9576F007D39FB0 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:16:14] 951*2^1451053-1 is not prime. Res64: D3F6CABE3A2DC416 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:16:15] 955*2^1451053-1 is not prime. Res64: 5D66E6C1336B248F Time : 0.0 sec. user=mdettweiler [2017-04-09 12:16:15] 967*2^1451053-1 is not prime. Res64: 848CA1C7FFD820B7 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:26:10] 795*2^1451054-1 is not prime. Res64: A4F46280DD5BDA21 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:26:10] 987*2^1451054-1 is not prime. Res64: 53EA6147EAAC4A39 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:26:11] 685*2^1451055-1 is not prime. Res64: 65E80CB5AC4DF58F Time : 0.0 sec. user=mdettweiler [2017-04-09 12:26:11] 795*2^1451055-1 is not prime. Res64: 75F848CFAE94FD50 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:26:11] 859*2^1451055-1 is not prime. Res64: 0E7A6245A1CF2271 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:28:41] 871*2^1451055-1 is not prime. Res64: B572CFCE98FE5DCF Time : 0.0 sec. user=mdettweiler [2017-04-09 12:28:42] 963*2^1451055-1 is not prime. Res64: 2378EAFB88DAB512 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:28:42] 969*2^1451055-1 is not prime. Res64: 9176E5DBF24E1325 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:28:42] 973*2^1451055-1 is not prime. Res64: 9FFF3323B9A51361 Time : 0.0 sec. user=mdettweiler [2017-04-09 12:28:43] 991*2^1451055-1 is not prime. Res64: 7AE46621F84A4D41 Time : 0.0 sec. user=juhehe [2017-04-09 13:00:25] 717*2^1451057-1 is not prime. Res64: E02F321C2E74033D Time : 0.0 sec. user=mdettweiler [2017-04-09 13:00:57] 603*2^1451056-1 is not prime. Res64: 0A40FF989455114F Time : 0.0 sec. user=mdettweiler [2017-04-09 13:00:58] 653*2^1451056-1 is not prime. Res64: 65FE0BE9D6587648 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:01:00] 707*2^1451056-1 is not prime. Res64: B9265A281537413D Time : 0.0 sec. user=mdettweiler [2017-04-09 13:01:02] 803*2^1451056-1 is not prime. Res64: C1EE02A1779CAEAB Time : 0.0 sec. user=mdettweiler [2017-04-09 13:01:03] 839*2^1451056-1 is not prime. Res64: BF2807030F7A8631 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:01:21] 843*2^1451056-1 is not prime. Res64: CC79CA184C050326 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:01:22] 855*2^1451056-1 is not prime. Res64: F0BE559F30280342 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:01:23] 869*2^1451056-1 is not prime. Res64: AF7E93C2BFAA5AD4 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:01:24] 999*2^1451056-1 is not prime. Res64: C9506FF71086F4FF Time : 0.0 sec. user=mdettweiler [2017-04-09 13:01:25] 669*2^1451057-1 is not prime. Res64: 6B2E683933E48B2A Time : 0.0 sec. user=mdettweiler [2017-04-09 13:11:18] 841*2^1451057-1 is not prime. Res64: 896BC97F060094DB Time : 0.0 sec. user=mdettweiler [2017-04-09 13:11:19] 861*2^1451057-1 is not prime. Res64: 5AD56480AA007BCA Time : 0.0 sec. user=mdettweiler [2017-04-09 13:11:19] 867*2^1451057-1 is not prime. Res64: FF0848BF85EC0E1A Time : 0.0 sec. user=mdettweiler [2017-04-09 13:11:20] 671*2^1451058-1 is not prime. Res64: 41B60A61FA61F3F4 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:11:20] 713*2^1451058-1 is not prime. Res64: 983E2690CCBE76A6 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:13:56] 725*2^1451058-1 is not prime. Res64: DCD252E6F153F2BB Time : 0.0 sec. user=mdettweiler [2017-04-09 13:13:56] 971*2^1451058-1 is not prime. Res64: 120A51C1E3321370 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:13:57] 1001*2^1451058-1 is not prime. Res64: 5E22C4D9367CD9D6 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:13:57] 625*2^1451059-1 is not prime. Res64: 5406408BC20E838B Time : 0.0 sec. user=mdettweiler [2017-04-09 13:13:58] 631*2^1451059-1 is not prime. Res64: 38C30A848249A3D6 Time : 0.0 sec. user=juhehe [2017-04-09 13:40:09] 725*2^1451060-1 is not prime. Res64: F1A7FF452022F38E Time : 0.0 sec. user=mdettweiler [2017-04-09 13:46:18] 771*2^1451059-1 is not prime. Res64: 960B22EE35DCBE32 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:46:19] 835*2^1451059-1 is not prime. Res64: B2FE396A9FA7AA3A Time : 0.0 sec. user=mdettweiler [2017-04-09 13:46:19] 859*2^1451059-1 is not prime. Res64: FF1357C17C432719 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:46:20] 973*2^1451059-1 is not prime. Res64: 73898B70564A3142 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:46:20] 993*2^1451059-1 is not prime. Res64: 7C32FD924D74F586 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:46:36] 897*2^1451060-1 is not prime. Res64: C31C99C0C8203B79 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:46:37] 657*2^1451061-1 is not prime. Res64: 56C3DADF103DBF7A Time : 0.0 sec. user=mdettweiler [2017-04-09 13:46:37] 669*2^1451061-1 is not prime. Res64: 9706253E583BFF34 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:46:37] 735*2^1451061-1 is not prime. Res64: 2F5EC879945052F1 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:46:38] 937*2^1451061-1 is not prime. Res64: C20BC9AC799469B8 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:56:31] 999*2^1451061-1 is not prime. Res64: E19745637F773D6F Time : 0.0 sec. user=mdettweiler [2017-04-09 13:56:31] 603*2^1451062-1 is not prime. Res64: 9B36C7B893C7ECC3 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:56:32] 713*2^1451062-1 is not prime. Res64: 1426187A76837B59 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:56:32] 717*2^1451062-1 is not prime. Res64: 5F81F4994EE17A2B Time : 0.0 sec. user=mdettweiler [2017-04-09 13:56:32] 747*2^1451062-1 is not prime. Res64: 0FEFA6F033680159 Time : 0.0 sec. user=mdettweiler [2017-04-09 13:59:14] 755*2^1451062-1 is not prime. Res64: E6439AC5F46CB0FF Time : 0.0 sec. user=mdettweiler [2017-04-09 13:59:15] 765*2^1451062-1 is not prime. Res64: 683CF4B370F8118F Time : 0.0 sec. user=mdettweiler [2017-04-09 13:59:15] 815*2^1451062-1 is not prime. Res64: 7EC665559C8D918C Time : 0.0 sec. user=mdettweiler [2017-04-09 13:59:16] 825*2^1451062-1 is not prime. Res64: B06EAEB93950BE5D Time : 0.0 sec. user=mdettweiler [2017-04-09 13:59:16] 833*2^1451062-1 is not prime. Res64: A8EF120831A8ABC2 Time : 0.0 sec. user=juhehe [2017-04-09 14:10:46] 881*2^1451062-1 is not prime. Res64: 507CE32B1B144AA3 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:31:40] 669*2^1451063-1 is not prime. Res64: 2A1DAFFE4E5D7215 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:31:41] 721*2^1451063-1 is not prime. Res64: 478B123C16F3A0E1 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:31:41] 783*2^1451063-1 is not prime. Res64: 688893F7CAB3D2F9 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:31:41] 627*2^1451064-1 is not prime. Res64: BD8ABF6B8AA59E98 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:31:42] 629*2^1451064-1 is not prime. Res64: 268DC77646A568C3 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:31:48] 665*2^1451064-1 is not prime. Res64: BFAB04E29C9AC9EB Time : 0.0 sec. user=mdettweiler [2017-04-09 14:31:48] 747*2^1451064-1 is not prime. Res64: 9538D493F8B11012 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:31:48] 849*2^1451064-1 is not prime. Res64: 0D639358A4C3AF12 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:31:49] 887*2^1451064-1 is not prime. Res64: A0F1B394DD6066D5 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:31:49] 927*2^1451064-1 is not prime. Res64: 5D1ED5C88E348221 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:41:41] 975*2^1451064-1 is not prime. Res64: E061C28613ABF632 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:41:41] 993*2^1451064-1 is not prime. Res64: CA15DF0C1469B7AD Time : 0.0 sec. user=mdettweiler [2017-04-09 14:41:41] 699*2^1451065-1 is not prime. Res64: 7691450F37CD1CFA Time : 0.0 sec. user=mdettweiler [2017-04-09 14:41:42] 721*2^1451065-1 is not prime. Res64: CBD2EE056BE53B2D Time : 0.0 sec. user=mdettweiler [2017-04-09 14:41:42] 751*2^1451065-1 is not prime. Res64: F981FBA14E27395D Time : 0.0 sec. user=mdettweiler [2017-04-09 14:44:34] 771*2^1451065-1 is not prime. Res64: 47C17AACE27E56AF Time : 0.0 sec. user=mdettweiler [2017-04-09 14:44:34] 789*2^1451065-1 is not prime. Res64: 9E39381D8D7E712D Time : 0.0 sec. user=mdettweiler [2017-04-09 14:44:35] 817*2^1451065-1 is not prime. Res64: 65C1E18A63E196C9 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:44:35] 877*2^1451065-1 is not prime. Res64: 6C9939A57AA51C74 Time : 0.0 sec. user=mdettweiler [2017-04-09 14:44:36] 957*2^1451065-1 is not prime. Res64: CE537837B2247480 Time : 0.0 sec. user=juhehe [2017-04-09 14:59:45] 975*2^1451065-1 is not prime. Res64: 9EFD8B7E0E103C6A Time : 0.0 sec. user=mdettweiler [2017-04-09 15:16:55] 985*2^1451065-1 is not prime. Res64: D51D26D6A28A6DDF Time : 0.0 sec. user=mdettweiler [2017-04-09 15:16:56] 657*2^1451066-1 is not prime. Res64: 141C64E4E614809B Time : 0.0 sec. user=mdettweiler [2017-04-09 15:16:56] 717*2^1451066-1 is not prime. Res64: 91A15D7BA3EFD8FA Time : 0.0 sec. user=mdettweiler [2017-04-09 15:16:56] 767*2^1451066-1 is not prime. Res64: 4FD008C7A87F1A2A Time : 0.0 sec. user=mdettweiler [2017-04-09 15:16:57] 851*2^1451066-1 is not prime. Res64: 8D7DAF5D62FB5BCE Time : 0.0 sec. user=mdettweiler [2017-04-09 15:16:58] 643*2^1451067-1 is not prime. Res64: 3BB142768CF4E987 Time : 0.0 sec. user=mdettweiler [2017-04-09 15:16:59] 685*2^1451067-1 is not prime. Res64: 654BFC8BFC767D1C Time : 0.0 sec. user=mdettweiler [2017-04-09 15:16:59] 753*2^1451067-1 is not prime. Res64: D8583C99B6085A70 Time : 0.0 sec. user=mdettweiler [2017-04-09 15:16:59] 801*2^1451067-1 is not prime. Res64: 684A5E67F2FC111A Time : 0.0 sec. user=mdettweiler [2017-04-09 15:17:00] 859*2^1451067-1 is not prime. Res64: 479651BDD905597C Time : 0.0 sec. user=mdettweiler [2017-04-09 15:26:49] 919*2^1451067-1 is not prime. Res64: C9F843AA744C420F Time : 0.0 sec. user=mdettweiler [2017-04-09 15:26:49] 961*2^1451067-1 is not prime. Res64: D9B4EAD034F20235 Time : 0.0 sec. user=mdettweiler [2017-04-09 15:26:50] 979*2^1451067-1 is not prime. Res64: 6E76780BF7E7264C Time : 0.0 sec. user=mdettweiler [2017-04-09 15:26:50] 639*2^1451068-1 is not prime. Res64: FEBADE5D79F5E5C5 Time : 0.0 sec. user=mdettweiler [2017-04-09 15:26:51] 777*2^1451068-1 is not prime. Res64: 6D9AA521B8596C87 Time : 0.0 sec. user=mdettweiler [2017-04-09 15:29:41] 845*2^1451068-1 is not prime. Res64: A91D157EC3B94278 Time : 0.0 sec. user=mdettweiler [2017-04-09 15:29:42] 989*2^1451068-1 is not prime. Res64: F861C1A810561291 Time : 0.0 sec. user=mdettweiler [2017-04-09 15:29:42] 615*2^1451069-1 is not prime. Res64: 992F606D776A89A8 Time : 0.0 sec. user=mdettweiler [2017-04-09 15:29:42] 685*2^1451069-1 is not prime. Res64: 79B8852DAA0478E1 Time : 0.0 sec. user=mdettweiler [2017-04-09 15:29:43] 691*2^1451069-1 is not prime. Res64: DF46A43437A80367 Time : 0.0 sec. user=juhehe [2017-04-09 15:39:54] 747*2^1451069-1 is not prime. Res64: 3008D2F413362432 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:02:57] 771*2^1451069-1 is not prime. Res64: B58D5DE0669D3051 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:02:59] 889*2^1451069-1 is not prime. Res64: 4299CEB79E2A64ED Time : 0.0 sec. user=mdettweiler [2017-04-09 16:02:59] 925*2^1451069-1 is not prime. Res64: 6118AA91D775A10D Time : 0.0 sec. user=mdettweiler [2017-04-09 16:03:00] 927*2^1451069-1 is not prime. Res64: 86853EEAAD88048D Time : 0.0 sec. user=mdettweiler [2017-04-09 16:03:01] 955*2^1451069-1 is not prime. Res64: D591FBDCA2D5C9C5 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:03:01] 651*2^1451070-1 is not prime. Res64: 61D79C6353F28CDF Time : 0.0 sec. user=mdettweiler [2017-04-09 16:03:03] 677*2^1451070-1 is not prime. Res64: DD4FE66AF4341DF0 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:03:04] 755*2^1451070-1 is not prime. Res64: 37A86CF195D4B0E4 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:03:07] 783*2^1451070-1 is not prime. Res64: 65569A0E0D9D04A3 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:03:08] 927*2^1451070-1 is not prime. Res64: 9AD771F8AA3E0B51 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:13:08] 945*2^1451070-1 is not prime. Res64: 8D98201A17FB4CAE Time : 0.0 sec. user=mdettweiler [2017-04-09 16:13:08] 625*2^1451071-1 is not prime. Res64: 1D2CA08BB0B4C24A Time : 0.0 sec. user=mdettweiler [2017-04-09 16:13:09] 741*2^1451071-1 is not prime. Res64: E8A6D96D1159C3D0 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:13:09] 775*2^1451071-1 is not prime. Res64: 3C8BED9C2920A0DF Time : 0.0 sec. user=mdettweiler [2017-04-09 16:13:10] 811*2^1451071-1 is not prime. Res64: A34A58C97A5AFF6A Time : 0.0 sec. user=mdettweiler [2017-04-09 16:15:35] 841*2^1451071-1 is not prime. Res64: 49C6C6F07392FC76 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:15:36] 961*2^1451071-1 is not prime. Res64: 20100D29A6830359 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:15:36] 617*2^1451072-1 is not prime. Res64: 504B95AAFE9B5D3B Time : 0.0 sec. user=mdettweiler [2017-04-09 16:15:36] 669*2^1451072-1 is not prime. Res64: 19AF981FCB35BE5D Time : 0.0 sec. user=mdettweiler [2017-04-09 16:15:37] 687*2^1451072-1 is not prime. Res64: 89188E650C1781CD Time : 0.0 sec. user=mdettweiler [2017-04-09 16:49:01] 719*2^1451072-1 is not prime. Res64: 0E3B8BBF350B737D Time : 0.0 sec. user=mdettweiler [2017-04-09 16:49:02] 797*2^1451072-1 is not prime. Res64: D26DADF613FD29ED Time : 0.0 sec. user=mdettweiler [2017-04-09 16:49:02] 815*2^1451072-1 is not prime. Res64: BFF6626522D78C41 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:49:03] 903*2^1451072-1 is not prime. Res64: 1CCA3EC7F0382115 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:49:03] 625*2^1451073-1 is not prime. Res64: 7220FF58AF89C7C5 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:49:04] 679*2^1451073-1 is not prime. Res64: 8DEBB900BB186120 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:49:04] 739*2^1451073-1 is not prime. Res64: 4050785E9CBEAE47 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:49:05] 781*2^1451073-1 is not prime. Res64: 675C8235F52D9C52 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:49:05] 787*2^1451073-1 is not prime. Res64: 23F786B52B247027 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:49:05] 895*2^1451073-1 is not prime. Res64: DC689C047DBB18BE Time : 0.0 sec. user=mdettweiler [2017-04-09 16:58:39] 901*2^1451073-1 is not prime. Res64: 96AC93D7A0EE8CE6 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:58:39] 919*2^1451073-1 is not prime. Res64: DF62CC0540B13EBB Time : 0.0 sec. user=mdettweiler [2017-04-09 16:58:40] 945*2^1451073-1 is not prime. Res64: 719FBC18E1A22662 Time : 0.0 sec. user=mdettweiler [2017-04-09 16:58:40] 675*2^1451074-1 is not prime. Res64: 288722B02AE9BDAC Time : 0.0 sec. user=mdettweiler [2017-04-09 16:58:40] 803*2^1451074-1 is not prime. Res64: 406E9BB692F6A5F7 Time : 0.0 sec. user=juhehe [2017-04-09 17:00:12] 781*2^1451075-1 is not prime. Res64: 2C27B072100581BA Time : 0.0 sec. user=mdettweiler [2017-04-09 17:01:01] 857*2^1451074-1 is not prime. Res64: 541983F857004842 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:01:02] 885*2^1451074-1 is not prime. Res64: EDBB549105F61FD9 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:01:03] 917*2^1451074-1 is not prime. Res64: 1F81F4F9C5D716EA Time : 0.0 sec. user=mdettweiler [2017-04-09 17:01:04] 923*2^1451074-1 is not prime. Res64: 7F2A0F18A69EFD3A Time : 0.0 sec. user=mdettweiler [2017-04-09 17:01:05] 735*2^1451075-1 is not prime. Res64: 02FB2B2AC3A48B93 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:34:09] 683*2^1451076-1 is not prime. Res64: 024E7B9B053F5700 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:34:09] 689*2^1451076-1 is not prime. Res64: 60F48AFD69F12023 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:34:10] 779*2^1451076-1 is not prime. Res64: 977A2589491361B8 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:34:10] 845*2^1451076-1 is not prime. Res64: DB5796D9B3D8576C Time : 0.0 sec. user=mdettweiler [2017-04-09 17:34:11] 887*2^1451076-1 is not prime. Res64: 203DD82737A26E13 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:34:16] 841*2^1451075-1 is not prime. Res64: 826C399541CCABAA Time : 0.0 sec. user=mdettweiler [2017-04-09 17:34:16] 883*2^1451075-1 is not prime. Res64: 112A351FD1391C61 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:34:17] 985*2^1451075-1 is not prime. Res64: 5CE507BE8E26D645 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:34:17] 609*2^1451076-1 is not prime. Res64: 9B30544A0B0B341D Time : 0.0 sec. user=mdettweiler [2017-04-09 17:34:18] 669*2^1451076-1 is not prime. Res64: 8CE2CB62F3857CD9 Time : 0.0 sec. user=juhehe [2017-04-09 17:40:17] 835*2^1451077-1 is not prime. Res64: 03EE728154C7D75A Time : 0.0 sec. user=mdettweiler [2017-04-09 17:44:06] 993*2^1451076-1 is not prime. Res64: B53B940F97C4451D Time : 0.0 sec. user=mdettweiler [2017-04-09 17:44:07] 615*2^1451077-1 is not prime. Res64: FC14AD3792C46A42 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:44:07] 625*2^1451077-1 is not prime. Res64: 64A24DFED4A09BD5 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:44:08] 717*2^1451077-1 is not prime. Res64: 5C8D2A7DCC770F56 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:44:08] 825*2^1451077-1 is not prime. Res64: 93E5BAA93F7A501B Time : 0.0 sec. user=mdettweiler [2017-04-09 17:46:25] 871*2^1451077-1 is not prime. Res64: 2478373FFA3596B5 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:46:26] 671*2^1451078-1 is not prime. Res64: B9F9B4629F3026EC Time : 0.0 sec. user=mdettweiler [2017-04-09 17:46:26] 707*2^1451078-1 is not prime. Res64: BEF4D42EAF49EC0B Time : 0.0 sec. user=mdettweiler [2017-04-09 17:46:26] 711*2^1451078-1 is not prime. Res64: 4747BDDE362EF534 Time : 0.0 sec. user=mdettweiler [2017-04-09 17:46:27] 945*2^1451078-1 is not prime. Res64: 9046FBD980077AF9 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:19:26] 613*2^1451079-1 is not prime. Res64: 02535777C9EBC5A5 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:19:27] 669*2^1451079-1 is not prime. Res64: 4F8114E500FBAA5A Time : 0.0 sec. user=mdettweiler [2017-04-09 18:19:27] 723*2^1451079-1 is not prime. Res64: 8AEE14FB2694C9B9 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:19:27] 741*2^1451079-1 is not prime. Res64: 12ECBC93CFEAE168 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:19:28] 843*2^1451079-1 is not prime. Res64: 85A3EAE745118F14 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:19:30] 891*2^1451079-1 is not prime. Res64: 09183F03DE0C5016 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:19:30] 933*2^1451079-1 is not prime. Res64: A9073E8A0B75F537 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:19:31] 675*2^1451080-1 is not prime. Res64: AE04BBAF30A99C1B Time : 0.0 sec. user=mdettweiler [2017-04-09 18:19:31] 873*2^1451080-1 is not prime. Res64: 1966DC3E0B4577DA Time : 0.0 sec. user=mdettweiler [2017-04-09 18:19:32] 983*2^1451080-1 is not prime. Res64: 92B362D92A0D3B65 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:29:10] 607*2^1451081-1 is not prime. Res64: E2DBDD0972A1D750 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:29:11] 885*2^1451081-1 is not prime. Res64: D679FD97AB9E910C Time : 0.0 sec. user=mdettweiler [2017-04-09 18:29:11] 909*2^1451081-1 is not prime. Res64: E95E6EDA60C3FB17 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:29:12] 967*2^1451081-1 is not prime. Res64: 82631EDB80F66EBA Time : 0.0 sec. user=mdettweiler [2017-04-09 18:29:12] 647*2^1451082-1 is not prime. Res64: F5785578599C33AF Time : 0.0 sec. user=mdettweiler [2017-04-09 18:31:32] 657*2^1451082-1 is not prime. Res64: AB1DE2ECCBADF0B3 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:31:32] 713*2^1451082-1 is not prime. Res64: 424E9F0294E46536 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:31:33] 755*2^1451082-1 is not prime. Res64: 1687B92CD4BA07D1 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:31:33] 803*2^1451082-1 is not prime. Res64: 8C5D2CD7DEDFA678 Time : 0.0 sec. user=mdettweiler [2017-04-09 18:31:33] 891*2^1451082-1 is not prime. Res64: 23FECE8072E9A9DD Time : 0.0 sec. user=juhehe [2017-04-09 19:02:23] 639*2^1451085-1 is not prime. Res64: A9FAA62CEDDBD935 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:04:27] 947*2^1451082-1 is not prime. Res64: 386B8B150B7B2C67 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:04:29] 951*2^1451082-1 is not prime. Res64: 9F92F0F1B44BB5CB Time : 0.0 sec. user=mdettweiler [2017-04-09 19:04:29] 983*2^1451082-1 is not prime. Res64: 107ACE0C98ED7C8D Time : 0.0 sec. user=mdettweiler [2017-04-09 19:04:30] 745*2^1451083-1 is not prime. Res64: D3D87B60755463B8 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:04:31] 819*2^1451083-1 is not prime. Res64: 84638701AA121354 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:04:38] 973*2^1451083-1 is not prime. Res64: DAC0B79E411DDF1A Time : 0.0 sec. user=mdettweiler [2017-04-09 19:04:39] 725*2^1451084-1 is not prime. Res64: 19CC36B3F2108178 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:04:40] 789*2^1451084-1 is not prime. Res64: D33FC1CAFB61636A Time : 0.0 sec. user=mdettweiler [2017-04-09 19:04:41] 957*2^1451084-1 is not prime. Res64: CF48409F6562C31E Time : 0.0 sec. user=mdettweiler [2017-04-09 19:04:43] 995*2^1451084-1 is not prime. Res64: 9C8860EA92CFACB7 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:14:14] 667*2^1451085-1 is not prime. Res64: 30A09B987AF7CC7E Time : 0.0 sec. user=mdettweiler [2017-04-09 19:14:15] 675*2^1451085-1 is not prime. Res64: 28ADB7C8163F1D97 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:14:15] 699*2^1451085-1 is not prime. Res64: A80CD5B5C94BA066 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:14:16] 885*2^1451085-1 is not prime. Res64: 0E123F7EB1E1CBBC Time : 0.0 sec. user=mdettweiler [2017-04-09 19:14:16] 927*2^1451085-1 is not prime. Res64: E46A0E045DD78EE4 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:16:35] 985*2^1451085-1 is not prime. Res64: 543247C081171C0B Time : 0.0 sec. user=mdettweiler [2017-04-09 19:16:36] 723*2^1451086-1 is not prime. Res64: 6D4CB415AD8C61EA Time : 0.0 sec. user=mdettweiler [2017-04-09 19:16:36] 755*2^1451086-1 is not prime. Res64: 62E96055F00E9D17 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:16:37] 785*2^1451086-1 is not prime. Res64: 5D311D4A2F7F42D4 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:16:37] 987*2^1451086-1 is not prime. Res64: D1B5D00B9B3F1953 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:49:51] 885*2^1451087-1 is not prime. Res64: 87C02CC77505A660 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:49:52] 979*2^1451087-1 is not prime. Res64: 55ABD34FA7C67DAA Time : 0.0 sec. user=mdettweiler [2017-04-09 19:49:52] 981*2^1451087-1 is not prime. Res64: 6F977E5FA624AB4B Time : 0.0 sec. user=mdettweiler [2017-04-09 19:49:52] 985*2^1451087-1 is not prime. Res64: A8DAC2E3E9E23005 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:49:53] 661*2^1451087-1 is not prime. Res64: AFB1C4C1F45E2768 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:49:53] 669*2^1451088-1 is not prime. Res64: 79B368CE6BD1F8B3 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:49:53] 673*2^1451087-1 is not prime. Res64: 090A8EC6F1634B01 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:49:53] 693*2^1451087-1 is not prime. Res64: EE3ED1D30FBCE669 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:49:54] 729*2^1451087-1 is not prime. Res64: 90828335B4BB55E6 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:49:54] 775*2^1451087-1 is not prime. Res64: 4563A4AE00AC2713 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:59:22] 765*2^1451088-1 is not prime. Res64: D904F1B6D30B3B06 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:59:22] 795*2^1451088-1 is not prime. Res64: 33A5A4E09F1B5FC7 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:59:23] 887*2^1451088-1 is not prime. Res64: 1D9C3B63B6D80E38 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:59:23] 893*2^1451088-1 is not prime. Res64: 3DE7F4D79076D314 Time : 0.0 sec. user=mdettweiler [2017-04-09 19:59:24] 969*2^1451088-1 is not prime. Res64: CDBC9941327B305E Time : 0.0 sec. user=mdettweiler [2017-04-09 20:01:41] 729*2^1451089-1 is not prime. Res64: FAB09DCE6DAC49F3 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:01:42] 741*2^1451089-1 is not prime. Res64: 9168D85BC65841F1 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:01:42] 771*2^1451089-1 is not prime. Res64: BFDBD9A5C58BB06F Time : 0.0 sec. user=mdettweiler [2017-04-09 20:01:43] 885*2^1451089-1 is not prime. Res64: 4952829845A32594 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:01:44] 919*2^1451089-1 is not prime. Res64: ECF7966EE3D12A0D Time : 0.0 sec. user=juhehe [2017-04-09 20:26:14] 951*2^1451089-1 is not prime. Res64: DCC1452A6CAB4FB8 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:34:59] 635*2^1451090-1 is not prime. Res64: B309B6198BE3B372 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:34:59] 665*2^1451090-1 is not prime. Res64: D40FF375ABF4AB43 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:35:00] 753*2^1451090-1 is not prime. Res64: C55C4ABDE478A470 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:35:00] 755*2^1451090-1 is not prime. Res64: A4642312573A378F Time : 0.0 sec. user=mdettweiler [2017-04-09 20:35:00] 893*2^1451090-1 is not prime. Res64: ED96463A3C97EDF4 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:35:01] 915*2^1451090-1 is not prime. Res64: 3AAAB6EB6EDB1579 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:35:01] 921*2^1451090-1 is not prime. Res64: ABBEDB9A04A17CBD Time : 0.0 sec. user=mdettweiler [2017-04-09 20:35:01] 941*2^1451090-1 is not prime. Res64: 02702BDAF212BAC3 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:35:02] 945*2^1451090-1 is not prime. Res64: DB6A7848D1F80F5D Time : 0.0 sec. user=mdettweiler [2017-04-09 20:35:03] 679*2^1451091-1 is not prime. Res64: 9B5FB57FA12CB4CE Time : 0.0 sec. user=mdettweiler [2017-04-09 20:44:30] 781*2^1451091-1 is not prime. Res64: 6AC096DCDAE7C1E9 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:44:31] 885*2^1451091-1 is not prime. Res64: 2A4730EA6415C45A Time : 0.0 sec. user=mdettweiler [2017-04-09 20:44:31] 743*2^1451092-1 is not prime. Res64: 1278F2E58EEB94B2 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:44:31] 779*2^1451092-1 is not prime. Res64: AA56B51107D6313D Time : 0.0 sec. user=mdettweiler [2017-04-09 20:44:32] 825*2^1451092-1 is not prime. Res64: E5B7C734B5757289 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:46:56] 855*2^1451092-1 is not prime. Res64: 14FA94B3989E78BB Time : 0.0 sec. user=mdettweiler [2017-04-09 20:46:56] 909*2^1451092-1 is not prime. Res64: EE785EB65DE20E17 Time : 0.0 sec. user=mdettweiler [2017-04-09 20:46:56] 999*2^1451092-1 is not prime. Res64: 7998ED41CDA556EA Time : 0.0 sec. user=mdettweiler [2017-04-09 20:46:57] 721*2^1451093-1 is not prime. Res64: 3D57F11E464DE20E Time : 0.0 sec. user=mdettweiler [2017-04-09 20:46:57] 605*2^1451094-1 is not prime. Res64: CDD5A213EDDCDD6C Time : 0.0 sec. user=juhehe [2017-04-09 21:06:28] 707*2^1451094-1 is not prime. Res64: B89FE05873B43418 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:20:34] 725*2^1451094-1 is not prime. Res64: 5F608355563B4D65 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:20:35] 737*2^1451094-1 is not prime. Res64: CA21D6CC4F5CE32F Time : 0.0 sec. user=mdettweiler [2017-04-09 21:20:35] 773*2^1451094-1 is not prime. Res64: C89C6C0193182AB8 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:20:36] 851*2^1451094-1 is not prime. Res64: 11A87F2BB03B74B9 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:20:36] 893*2^1451094-1 is not prime. Res64: 25BA7095D55A104B Time : 0.0 sec. user=mdettweiler [2017-04-09 21:20:39] 927*2^1451094-1 is not prime. Res64: 3BBC3ABA79B5F813 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:20:39] 945*2^1451094-1 is not prime. Res64: 7E32D6C8F036AF67 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:20:39] 603*2^1451095-1 is not prime. Res64: D3D8ED7B97A0C1BF Time : 0.0 sec. user=mdettweiler [2017-04-09 21:20:40] 685*2^1451095-1 is not prime. Res64: 4BF0A3E627CF07D4 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:20:40] 705*2^1451095-1 is not prime. Res64: 4AA9B4D19CBA71D9 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:30:32] 841*2^1451095-1 is not prime. Res64: 8E7384F17DFDE8EE Time : 0.0 sec. user=mdettweiler [2017-04-09 21:30:33] 853*2^1451095-1 is not prime. Res64: 1550BCAD825CC62D Time : 0.0 sec. user=mdettweiler [2017-04-09 21:30:33] 891*2^1451095-1 is not prime. Res64: D76F77F9B983025D Time : 0.0 sec. user=mdettweiler [2017-04-09 21:30:33] 913*2^1451095-1 is not prime. Res64: 53A8FCD78A6DD5C4 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:30:34] 943*2^1451095-1 is not prime. Res64: E5B3961AC3E866E5 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:32:59] 979*2^1451095-1 is not prime. Res64: 0A78E52936E9D282 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:33:00] 689*2^1451096-1 is not prime. Res64: 513259AA0A2C4010 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:33:00] 725*2^1451096-1 is not prime. Res64: 10DDCC6045F90C06 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:33:01] 803*2^1451096-1 is not prime. Res64: 6409FAC572AE3EE6 Time : 0.0 sec. user=mdettweiler [2017-04-09 21:33:01] 867*2^1451096-1 is not prime. Res64: E5BA19C6D25F436C Time : 0.0 sec. user=mdettweiler [2017-04-09 22:06:54] 903*2^1451096-1 is not prime. Res64: C0F8812E6710CCD6 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:06:54] 945*2^1451096-1 is not prime. Res64: 4639CCA3C2B021A3 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:06:55] 957*2^1451096-1 is not prime. Res64: B49C76A6EBBF666F Time : 0.0 sec. user=mdettweiler [2017-04-09 22:06:56] 639*2^1451097-1 is not prime. Res64: 0EAF7BFAEE39BDFD Time : 0.0 sec. user=mdettweiler [2017-04-09 22:06:57] 699*2^1451097-1 is not prime. Res64: 442E682047A0D2E0 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:07:01] 831*2^1451097-1 is not prime. Res64: 63F23D4271CAB070 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:07:01] 871*2^1451097-1 is not prime. Res64: 32781671B14C4696 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:07:02] 919*2^1451097-1 is not prime. Res64: 361E254D3A665D96 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:07:02] 999*2^1451097-1 is not prime. Res64: 3D0A9DE0ED63AA2C Time : 0.0 sec. user=mdettweiler [2017-04-09 22:07:03] 747*2^1451098-1 is not prime. Res64: 5915F9F4961B8BAC Time : 0.0 sec. user=mdettweiler [2017-04-09 22:16:54] 791*2^1451098-1 is not prime. Res64: C33823F1D8CD150B Time : 0.0 sec. user=mdettweiler [2017-04-09 22:16:54] 801*2^1451098-1 is not prime. Res64: 12EA4F33224FF9D5 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:16:55] 813*2^1451098-1 is not prime. Res64: 8E4C6473CA32AD62 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:16:55] 843*2^1451098-1 is not prime. Res64: 79D246175FB25DC6 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:16:56] 857*2^1451098-1 is not prime. Res64: 5919385F00FEE81E Time : 0.0 sec. user=mdettweiler [2017-04-09 22:19:26] 867*2^1451098-1 is not prime. Res64: B773ADA793E6BE97 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:19:27] 905*2^1451098-1 is not prime. Res64: F036C43CB447F01B Time : 0.0 sec. user=mdettweiler [2017-04-09 22:19:27] 957*2^1451098-1 is not prime. Res64: D9AF766E53BB880E Time : 0.0 sec. user=mdettweiler [2017-04-09 22:19:28] 981*2^1451098-1 is not prime. Res64: 78CCF78689E19EEB Time : 0.0 sec. user=mdettweiler [2017-04-09 22:19:28] 615*2^1451099-1 is not prime. Res64: 38D9829517FFF1E7 Time : 0.0 sec. user=juhehe [2017-04-09 22:25:49] 643*2^1451099-1 is not prime. Res64: 0307BB1C367E083B Time : 0.0 sec. user=mdettweiler [2017-04-09 22:52:10] 789*2^1451099-1 is not prime. Res64: 1A37D7E868F2C32B Time : 0.0 sec. user=mdettweiler [2017-04-09 22:52:11] 799*2^1451099-1 is not prime. Res64: 32D2C9CF3FBC129A Time : 0.0 sec. user=mdettweiler [2017-04-09 22:52:11] 811*2^1451099-1 is not prime. Res64: 3A11F52E6DCB4D75 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:52:12] 859*2^1451099-1 is not prime. Res64: 13E265C43A8A397E Time : 0.0 sec. user=mdettweiler [2017-04-09 22:52:12] 861*2^1451099-1 is not prime. Res64: 3080BF4C003186E5 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:52:13] 895*2^1451099-1 is not prime. Res64: 9EB8E72795E4279A Time : 0.0 sec. user=mdettweiler [2017-04-09 22:52:13] 913*2^1451099-1 is not prime. Res64: B0947F8F264F1A21 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:52:14] 669*2^1451100-1 is not prime. Res64: 07FDFD4481F2E711 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:52:14] 717*2^1451100-1 is not prime. Res64: BE8F3FC57F0ECA92 Time : 0.0 sec. user=mdettweiler [2017-04-09 22:52:15] 909*2^1451100-1 is not prime. Res64: 05BF554132D16FE2 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:02:02] 983*2^1451100-1 is not prime. Res64: B6844A26B320B7D9 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:02:03] 625*2^1451101-1 is not prime. Res64: 000B8D1C28165343 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:02:04] 679*2^1451101-1 is not prime. Res64: 13E53A67C3460BD5 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:02:04] 681*2^1451101-1 is not prime. Res64: 2BADDC5CEEFBAC5F Time : 0.0 sec. user=mdettweiler [2017-04-09 23:02:05] 687*2^1451101-1 is not prime. Res64: 9A96C57037989051 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:04:25] 751*2^1451101-1 is not prime. Res64: C95434A87CFF75A0 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:04:27] 889*2^1451101-1 is not prime. Res64: 5F23D57AD7E81D42 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:04:28] 895*2^1451101-1 is not prime. Res64: 895320FFF426217B Time : 0.0 sec. user=mdettweiler [2017-04-09 23:04:30] 951*2^1451101-1 is not prime. Res64: 48D41E980B0B7950 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:04:31] 627*2^1451102-1 is not prime. Res64: EF13510F61517B09 Time : 0.0 sec. user=juhehe [2017-04-09 23:05:32] 755*2^1451102-1 is not prime. Res64: 794AF88FBADF7D7A Time : 0.0 sec. user=mdettweiler [2017-04-09 23:37:11] 661*2^1451103-1 is not prime. Res64: E06EBD7D346EA496 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:37:12] 721*2^1451103-1 is not prime. Res64: B29D79B0BB5DF169 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:37:12] 741*2^1451103-1 is not prime. Res64: FC247CE80917A161 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:37:13] 945*2^1451103-1 is not prime. Res64: 56A5ED8B7ADDE2FD Time : 0.0 sec. user=mdettweiler [2017-04-09 23:37:13] 955*2^1451103-1 is not prime. Res64: CED7914F63FC58C4 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:37:15] 767*2^1451102-1 is not prime. Res64: 356C78945772AB84 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:37:16] 797*2^1451102-1 is not prime. Res64: E9063048B7978B86 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:37:17] 951*2^1451102-1 is not prime. Res64: 4F018F4CFD055287 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:37:17] 981*2^1451102-1 is not prime. Res64: B0D07E013143E004 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:37:18] 643*2^1451103-1 is not prime. Res64: EFC64C63F420F853 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:47:08] 609*2^1451104-1 is not prime. Res64: 6CCE269E01AFA708 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:47:08] 635*2^1451104-1 is not prime. Res64: 5A7D9D3F4FF33854 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:47:08] 639*2^1451104-1 is not prime. Res64: 50B8F7461BA8C431 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:47:09] 657*2^1451104-1 is not prime. Res64: C47C91F872394FD6 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:47:09] 677*2^1451104-1 is not prime. Res64: F68B13B3AEF21969 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:49:41] 729*2^1451104-1 is not prime. Res64: 5EFF037C8229E154 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:49:42] 869*2^1451104-1 is not prime. Res64: E16D8A6726929158 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:49:42] 691*2^1451105-1 is not prime. Res64: 4AFDD964F252DDAB Time : 0.0 sec. user=mdettweiler [2017-04-09 23:49:43] 771*2^1451105-1 is not prime. Res64: 0554FC0FEB3A42A7 Time : 0.0 sec. user=mdettweiler [2017-04-09 23:49:43] 795*2^1451105-1 is not prime. Res64: 35724C1BFFB749D2 Time : 0.0 sec.