user=mdettweiler [2015-09-04 00:07:40] 645*2^1408336-1 is not prime. Res64: E51953C6BF731DFE Time : 0.0 sec. user=mdettweiler [2015-09-04 00:07:42] 657*2^1408336-1 is not prime. Res64: 95B847DCF41BDB9C Time : 0.0 sec. user=mdettweiler [2015-09-04 00:08:12] 927*2^1408336-1 is not prime. Res64: A3491FBB746D1B17 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:08:13] 969*2^1408336-1 is not prime. Res64: 90DADE8A5DF25764 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:08:30] 855*2^1408336-1 is not prime. Res64: F0FF923594C29455 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:08:31] 903*2^1408336-1 is not prime. Res64: 8D590464B735A459 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:09:21] 615*2^1408337-1 is not prime. Res64: 646B0A7FDF0B43B8 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:09:21] 711*2^1408337-1 is not prime. Res64: E3FA1C672F11460B Time : 0.0 sec. user=mdettweiler [2015-09-04 00:26:55] 837*2^1408337-1 is not prime. Res64: 4B5F82D204AF8F4B Time : 0.0 sec. user=mdettweiler [2015-09-04 00:26:55] 865*2^1408337-1 is not prime. Res64: 9FF48D2DE424E0A7 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:27:13] 885*2^1408337-1 is not prime. Res64: E29804CAEEAE5D70 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:27:14] 909*2^1408337-1 is not prime. Res64: 8D7F3F0AC315CBFF Time : 0.0 sec. user=mdettweiler [2015-09-04 00:27:35] 955*2^1408337-1 is not prime. Res64: 7A97D05D5A121A7C Time : 0.0 sec. user=mdettweiler [2015-09-04 00:27:35] 967*2^1408337-1 is not prime. Res64: 342BF3A7059BAFE5 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:28:31] 641*2^1408338-1 is not prime. Res64: A1C95BFBF69382E9 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:28:31] 801*2^1408338-1 is not prime. Res64: 71154C16445EBC05 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:46:13] 971*2^1408338-1 is not prime. Res64: 319D2E7FDA5C8970 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:46:13] 1001*2^1408338-1 is not prime. Res64: F1B4DE35B2C095A5 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:46:23] 835*2^1408339-1 is not prime. Res64: 80CCDE074CD5F46E Time : 0.0 sec. user=mdettweiler [2015-09-04 00:46:23] 909*2^1408339-1 is not prime. Res64: 9A12CCF602381F7D Time : 0.0 sec. user=mdettweiler [2015-09-04 00:46:42] 615*2^1408340-1 is not prime. Res64: F524D8EFCF6ED7E2 Time : 0.0 sec. user=mdettweiler [2015-09-04 00:46:42] 647*2^1408340-1 is not prime. Res64: 0E104C61F3317E1E Time : 0.0 sec. user=mdettweiler [2015-09-04 00:47:35] 659*2^1408340-1 is not prime. Res64: AD1C80553EF2873E Time : 0.0 sec. user=mdettweiler [2015-09-04 00:47:35] 677*2^1408340-1 is not prime. Res64: 7B7A22DBA7141A2D Time : 0.0 sec. user=mdettweiler [2015-09-04 01:05:30] 827*2^1408340-1 is not prime. Res64: DCC4D63F1BE03CC9 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:05:32] 845*2^1408340-1 is not prime. Res64: 4A2EC8988ED77B29 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:05:39] 753*2^1408340-1 is not prime. Res64: 27C372B40ACD6E40 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:05:41] 795*2^1408340-1 is not prime. Res64: 61EF40C886535879 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:06:11] 893*2^1408340-1 is not prime. Res64: 8826AF20AF7D523E Time : 0.0 sec. user=mdettweiler [2015-09-04 01:06:14] 929*2^1408340-1 is not prime. Res64: EB31A04E536C59F5 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:06:29] 625*2^1408341-1 is not prime. Res64: 627915A735FE9331 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:06:31] 711*2^1408341-1 is not prime. Res64: 0DE6319D4AF8623B Time : 0.0 sec. user=mdettweiler [2015-09-04 01:24:46] 789*2^1408341-1 is not prime. Res64: 9D6DF140FB936050 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:24:46] 861*2^1408341-1 is not prime. Res64: 40432943A80E9CA8 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:24:49] 741*2^1408341-1 is not prime. Res64: F9CB64466CD0FB98 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:24:50] 747*2^1408341-1 is not prime. Res64: 02CA1450424F8FC4 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:25:00] 949*2^1408341-1 is not prime. Res64: CCD947422AA7153A Time : 0.0 sec. user=mdettweiler [2015-09-04 01:25:01] 961*2^1408341-1 is not prime. Res64: 2B65F7292E5F80CA Time : 0.0 sec. user=mdettweiler [2015-09-04 01:25:26] 987*2^1408341-1 is not prime. Res64: 07161A58CBA3DA5C Time : 0.0 sec. user=mdettweiler [2015-09-04 01:25:27] 999*2^1408341-1 is not prime. Res64: 4FDAB8FCF3227AD9 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:44:25] 917*2^1408342-1 is not prime. Res64: 28270E4E9B011767 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:44:25] 983*2^1408342-1 is not prime. Res64: E3E02FA92DAE4E93 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:44:33] 603*2^1408342-1 is not prime. Res64: CB9541C5168D78A4 Time : 0.0 sec. user=mdettweiler [2015-09-04 01:44:33] 891*2^1408342-1 is not prime. Res64: 27D5AA286320725D Time : 0.0 sec. user=mdettweiler [2015-09-04 01:44:47] 615*2^1408343-1 is not prime. Res64: B1EA27A9F567296B Time : 0.0 sec. user=mdettweiler [2015-09-04 01:44:47] 619*2^1408343-1 is not prime. Res64: 5824B750E6F9B05F Time : 0.0 sec. user=mdettweiler [2015-09-04 01:45:06] 775*2^1408343-1 is not prime. Res64: 8A983514669AEB8E Time : 0.0 sec. user=mdettweiler [2015-09-04 01:45:06] 885*2^1408343-1 is not prime. Res64: 1136C9599B45FE52 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:02:41] 629*2^1408344-1 is not prime. Res64: 7FA1D75E74622CC4 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:02:42] 705*2^1408344-1 is not prime. Res64: 1644F69BA8041121 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:02:45] 963*2^1408343-1 is not prime. Res64: 044A667AC8D9144D Time : 0.0 sec. user=mdettweiler [2015-09-04 02:02:46] 993*2^1408343-1 is not prime. Res64: 37B7B5F47EF8D318 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:02:55] 729*2^1408345-1 is not prime. Res64: 5F654FE96DD9A0DA Time : 0.0 sec. user=mdettweiler [2015-09-04 02:02:56] 819*2^1408345-1 is not prime. Res64: E4853C3B43752AB5 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:03:06] 867*2^1408345-1 is not prime. Res64: 61878DD4EA03ED00 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:03:07] 981*2^1408345-1 is not prime. Res64: DE31C2549BC3C700 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:20:43] 705*2^1408346-1 is not prime. Res64: 1EFD563D84F840EB Time : 0.0 sec. user=mdettweiler [2015-09-04 02:20:43] 711*2^1408346-1 is not prime. Res64: CD5020A5F39FEEDF Time : 0.0 sec. user=mdettweiler [2015-09-04 02:20:44] 985*2^1408345-1 is not prime. Res64: 4E9C28BF88E95D1B Time : 0.0 sec. user=mdettweiler [2015-09-04 02:20:44] 633*2^1408346-1 is not prime. Res64: 26A34C855BCEC9DD Time : 0.0 sec. user=mdettweiler [2015-09-04 02:20:46] 657*2^1408346-1 is not prime. Res64: 8C3A19873EB596D8 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:20:47] 671*2^1408346-1 is not prime. Res64: 134CD4E935891341 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:20:50] 831*2^1408346-1 is not prime. Res64: 703E8E940D9DB586 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:20:51] 917*2^1408346-1 is not prime. Res64: 7E4A9DC01ED4F73A Time : 0.0 sec. user=mdettweiler [2015-09-04 02:38:33] 709*2^1408347-1 is not prime. Res64: 445268A77D384B8E Time : 0.0 sec. user=mdettweiler [2015-09-04 02:38:33] 829*2^1408347-1 is not prime. Res64: 18BE485E403919EE Time : 0.0 sec. user=mdettweiler [2015-09-04 02:38:41] 971*2^1408346-1 is not prime. Res64: 9A1483F71CE46785 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:38:41] 643*2^1408347-1 is not prime. Res64: F5602A8F4ECB4412 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:38:45] 669*2^1408347-1 is not prime. Res64: 03B190F496177D0F Time : 0.0 sec. user=mdettweiler [2015-09-04 02:38:46] 685*2^1408347-1 is not prime. Res64: 5F70E29A4309CB7F Time : 0.0 sec. user=mdettweiler [2015-09-04 02:38:56] 859*2^1408347-1 is not prime. Res64: 48AAB4CD4EFBF735 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:38:56] 891*2^1408347-1 is not prime. Res64: C54D8A5A9D3248FD Time : 0.0 sec. user=mdettweiler [2015-09-04 02:56:13] 895*2^1408347-1 is not prime. Res64: CA0DB973FE3039E8 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:56:13] 695*2^1408348-1 is not prime. Res64: C8CF1911FAE7545E Time : 0.0 sec. user=mdettweiler [2015-09-04 02:56:27] 813*2^1408348-1 is not prime. Res64: CEE05C49EF896711 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:56:27] 989*2^1408348-1 is not prime. Res64: B89DFBA9B70EAA3A Time : 0.0 sec. user=mdettweiler [2015-09-04 02:56:29] 627*2^1408349-1 is not prime. Res64: 6618805C053E652C Time : 0.0 sec. user=mdettweiler [2015-09-04 02:56:30] 769*2^1408349-1 is not prime. Res64: F6FC7746227C45D1 Time : 0.0 sec. user=mdettweiler [2015-09-04 02:56:41] 771*2^1408349-1 is not prime. Res64: 7F6895EF36EF676B Time : 0.0 sec. user=mdettweiler [2015-09-04 02:56:41] 775*2^1408349-1 is not prime. Res64: CFE271D9B592B56B Time : 0.0 sec. user=mdettweiler [2015-09-04 03:13:53] 885*2^1408349-1 is not prime. Res64: 3E7C8FA7C9816802 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:13:53] 889*2^1408349-1 is not prime. Res64: 8D8F3762F3D316A9 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:14:10] 711*2^1408350-1 is not prime. Res64: 7D15B3413A47A46F Time : 0.0 sec. user=mdettweiler [2015-09-04 03:14:10] 777*2^1408350-1 is not prime. Res64: 42E0912A125F3D8C Time : 0.0 sec. user=mdettweiler [2015-09-04 03:14:14] 833*2^1408350-1 is not prime. Res64: 082525C70B26DBB2 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:14:14] 945*2^1408350-1 is not prime. Res64: 7207111CE42CACB7 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:14:24] 977*2^1408350-1 is not prime. Res64: F415AAC2AE28E6BC Time : 0.0 sec. user=mdettweiler [2015-09-04 03:14:25] 619*2^1408351-1 is not prime. Res64: 57F1924C827906B3 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:32:45] 723*2^1408351-1 is not prime. Res64: FD0927BA2FA2F05E Time : 0.0 sec. user=mdettweiler [2015-09-04 03:32:48] 751*2^1408351-1 is not prime. Res64: 057E2B84E001F170 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:33:14] 743*2^1408352-1 is not prime. Res64: DFBFA3B626B7990C Time : 0.0 sec. user=mdettweiler [2015-09-04 03:33:15] 793*2^1408351-1 is not prime. Res64: 64A688780D3E33D3 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:33:15] 797*2^1408352-1 is not prime. Res64: 416D589B47E4A6C8 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:33:16] 635*2^1408352-1 is not prime. Res64: 0BCB6CEA942A6635 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:33:26] 815*2^1408352-1 is not prime. Res64: 8D7F40D7B58A172E Time : 0.0 sec. user=mdettweiler [2015-09-04 03:33:27] 827*2^1408352-1 is not prime. Res64: BBBC92A5E777F388 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:50:46] 935*2^1408352-1 is not prime. Res64: D861069148E64A66 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:50:47] 739*2^1408353-1 is not prime. Res64: A8FD7D29714D3D59 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:50:54] 969*2^1408353-1 is not prime. Res64: E50B3957A6A62185 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:50:55] 979*2^1408353-1 is not prime. Res64: 5778B90D1D488EE0 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:50:59] 765*2^1408353-1 is not prime. Res64: 25EC0ED960D64E14 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:51:00] 877*2^1408353-1 is not prime. Res64: AC059D7BBA6537C2 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:51:15] 611*2^1408354-1 is not prime. Res64: 787D18FBF1AB6D56 Time : 0.0 sec. user=mdettweiler [2015-09-04 03:51:15] 717*2^1408354-1 is not prime. Res64: DFCF9D930C8A91F8 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:08:26] 731*2^1408354-1 is not prime. Res64: DE3554FF87C1013D Time : 0.0 sec. user=mdettweiler [2015-09-04 04:08:27] 815*2^1408354-1 is not prime. Res64: A92EAEFC432BCC63 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:08:45] 975*2^1408354-1 is not prime. Res64: F9FF4B1030FD0C05 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:08:45] 609*2^1408355-1 is not prime. Res64: 9C6F84540DD46576 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:08:47] 649*2^1408355-1 is not prime. Res64: 6D01CD8AB111BBC8 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:08:47] 673*2^1408355-1 is not prime. Res64: 49E7DCFA5BCB97FF Time : 0.0 sec. user=mdettweiler [2015-09-04 04:09:03] 675*2^1408355-1 is not prime. Res64: F3D6A7C668E983EB Time : 0.0 sec. user=mdettweiler [2015-09-04 04:09:03] 733*2^1408355-1 is not prime. Res64: 19C368F6530E996E Time : 0.0 sec. user=mdettweiler [2015-09-04 04:26:10] 799*2^1408355-1 is not prime. Res64: EA78A92B1FA3E851 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:26:11] 889*2^1408355-1 is not prime. Res64: 1B31A108B195E084 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:26:25] 705*2^1408356-1 is not prime. Res64: 7900C64DA8E0F029 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:26:25] 839*2^1408356-1 is not prime. Res64: 8D34D9723A229B9D Time : 0.0 sec. user=mdettweiler [2015-09-04 04:26:30] 845*2^1408356-1 is not prime. Res64: 8D2ECDD6B8246FE7 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:26:30] 927*2^1408356-1 is not prime. Res64: 767A7D484E22CC27 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:26:49] 957*2^1408356-1 is not prime. Res64: 2545735F7B62A244 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:26:49] 999*2^1408356-1 is not prime. Res64: B2D720FFAB7F7256 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:43:49] 741*2^1408357-1 is not prime. Res64: E7536CB20A6EABDE Time : 0.0 sec. user=mdettweiler [2015-09-04 04:43:49] 769*2^1408357-1 is not prime. Res64: 8C0FECD336CECE19 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:44:01] 861*2^1408357-1 is not prime. Res64: E81431524562E498 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:44:02] 885*2^1408357-1 is not prime. Res64: C6687CC2A64CD3EE Time : 0.0 sec. user=mdettweiler [2015-09-04 04:44:08] 825*2^1408358-1 is not prime. Res64: 70A90ABAEEA1557A Time : 0.0 sec. user=mdettweiler [2015-09-04 04:44:09] 831*2^1408358-1 is not prime. Res64: CD0A6B3AC65FA2A7 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:44:27] 843*2^1408358-1 is not prime. Res64: 4F68A72D0DC8B938 Time : 0.0 sec. user=mdettweiler [2015-09-04 04:44:27] 857*2^1408358-1 is not prime. Res64: C8BBE9BE2A1E58B6 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:01:29] 911*2^1408358-1 is not prime. Res64: B5A130F4F4B6E55C Time : 0.0 sec. user=mdettweiler [2015-09-04 05:01:30] 935*2^1408358-1 is not prime. Res64: 36BE5522AA58B5DA Time : 0.0 sec. user=mdettweiler [2015-09-04 05:01:36] 663*2^1408359-1 is not prime. Res64: 32D95EBC7C5CA46A Time : 0.0 sec. user=mdettweiler [2015-09-04 05:01:37] 685*2^1408359-1 is not prime. Res64: F8A823C2CB73ECF8 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:01:47] 763*2^1408359-1 is not prime. Res64: 76AE7083247415E3 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:01:47] 909*2^1408359-1 is not prime. Res64: B79C8D35199F1B64 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:02:02] 603*2^1408360-1 is not prime. Res64: 4E50083907E5E8F5 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:02:03] 777*2^1408360-1 is not prime. Res64: A7BED8596039272C Time : 0.0 sec. user=mdettweiler [2015-09-04 05:19:13] 845*2^1408360-1 is not prime. Res64: F64BBD62CD186BDE Time : 0.0 sec. user=mdettweiler [2015-09-04 05:19:13] 857*2^1408360-1 is not prime. Res64: AB23C85D329AA108 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:19:23] 875*2^1408360-1 is not prime. Res64: 6C5ADC221E57FB66 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:19:24] 909*2^1408360-1 is not prime. Res64: 40DACE068568E71B Time : 0.0 sec. user=mdettweiler [2015-09-04 05:19:31] 939*2^1408360-1 is not prime. Res64: 8D0858D7142C54B1 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:19:32] 691*2^1408361-1 is not prime. Res64: 07F8D82DE3E12C16 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:19:48] 705*2^1408361-1 is not prime. Res64: 4CBA8D8F104B7071 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:19:49] 747*2^1408361-1 is not prime. Res64: C1C042B5627D26E5 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:36:51] 769*2^1408361-1 is not prime. Res64: C7304FD7C1862E2F Time : 0.0 sec. user=mdettweiler [2015-09-04 05:36:51] 867*2^1408361-1 is not prime. Res64: 6D2EC720A5385ED5 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:37:02] 633*2^1408362-1 is not prime. Res64: 05BA4EDB7DF99A32 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:37:02] 741*2^1408362-1 is not prime. Res64: F5B621282276A696 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:37:07] 843*2^1408362-1 is not prime. Res64: F514E1AF28087CD7 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:37:07] 873*2^1408362-1 is not prime. Res64: E6869B1A484E1725 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:37:26] 903*2^1408362-1 is not prime. Res64: D99E4CB1A6956BCF Time : 0.0 sec. user=mdettweiler [2015-09-04 05:37:26] 609*2^1408363-1 is not prime. Res64: 2E657A4208FC4C5F Time : 0.0 sec. user=mdettweiler [2015-09-04 05:54:32] 675*2^1408363-1 is not prime. Res64: 057DEAEF7A5B27EF Time : 0.0 sec. user=mdettweiler [2015-09-04 05:54:32] 723*2^1408363-1 is not prime. Res64: 4FA0F1E872BF7EB9 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:54:42] 745*2^1408363-1 is not prime. Res64: 3B5A35CDC2486DDE Time : 0.0 sec. user=mdettweiler [2015-09-04 05:54:42] 811*2^1408363-1 is not prime. Res64: BF065003502E3DBA Time : 0.0 sec. user=mdettweiler [2015-09-04 05:54:54] 853*2^1408363-1 is not prime. Res64: 7AB6273BC11633B7 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:54:55] 915*2^1408363-1 is not prime. Res64: ED064AE46E3CED3F Time : 0.0 sec. user=mdettweiler [2015-09-04 05:55:11] 925*2^1408363-1 is not prime. Res64: 0EAF0C315D12D499 Time : 0.0 sec. user=mdettweiler [2015-09-04 05:55:11] 969*2^1408363-1 is not prime. Res64: 82F37FE5A6ABABD6 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:12:10] 993*2^1408363-1 is not prime. Res64: 3A38CDDC094CF450 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:12:11] 753*2^1408364-1 is not prime. Res64: 39BD00131FFC1905 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:12:20] 803*2^1408364-1 is not prime. Res64: BA76893FDC8FA1EF Time : 0.0 sec. user=mdettweiler [2015-09-04 06:12:21] 833*2^1408364-1 is not prime. Res64: 986B30C10F4945DD Time : 0.0 sec. user=mdettweiler [2015-09-04 06:12:30] 843*2^1408364-1 is not prime. Res64: 4BEEC60AB5E49500 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:12:31] 873*2^1408364-1 is not prime. Res64: C497DA1F318BCBEA Time : 0.0 sec. user=mdettweiler [2015-09-04 06:12:49] 995*2^1408364-1 is not prime. Res64: B98DA0C4F957FBC6 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:12:50] 609*2^1408365-1 is not prime. Res64: 51F19EE7DAC31ACC Time : 0.0 sec. user=mdettweiler [2015-09-04 06:29:50] 655*2^1408365-1 is not prime. Res64: 565D44BF56611FF7 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:29:51] 669*2^1408365-1 is not prime. Res64: D75982CB27E14BB9 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:30:06] 789*2^1408365-1 is not prime. Res64: 177F8667FD24543A Time : 0.0 sec. user=mdettweiler [2015-09-04 06:30:06] 805*2^1408365-1 is not prime. Res64: AD668658741727BF Time : 0.0 sec. user=mdettweiler [2015-09-04 06:30:13] 849*2^1408365-1 is not prime. Res64: AA0AACED0E458927 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:30:13] 927*2^1408365-1 is not prime. Res64: 9EC5769B6331B6F1 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:30:29] 813*2^1408366-1 is not prime. Res64: E793648115447347 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:30:29] 825*2^1408366-1 is not prime. Res64: 4294C6741511C8F5 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:47:46] 833*2^1408366-1 is not prime. Res64: 907B1CF6EE109C6F Time : 0.0 sec. user=mdettweiler [2015-09-04 06:47:46] 615*2^1408367-1 is not prime. Res64: 593DB1B3CAF5D19B Time : 0.0 sec. user=mdettweiler [2015-09-04 06:47:58] 729*2^1408367-1 is not prime. Res64: 1F187A8644CFEDFC Time : 0.0 sec. user=mdettweiler [2015-09-04 06:47:58] 813*2^1408367-1 is not prime. Res64: 8B80DC606642D97D Time : 0.0 sec. user=mdettweiler [2015-09-04 06:48:07] 621*2^1408367-1 is not prime. Res64: FCB8B02854996E9C Time : 0.0 sec. user=mdettweiler [2015-09-04 06:48:08] 663*2^1408367-1 is not prime. Res64: 58466A5E28E855C2 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:48:20] 825*2^1408367-1 is not prime. Res64: 44316C3B899C8776 Time : 0.0 sec. user=mdettweiler [2015-09-04 06:48:21] 901*2^1408367-1 is not prime. Res64: A0781C4D49169897 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:05:25] 973*2^1408367-1 is not prime. Res64: 54A7F3DA44B593FF Time : 0.0 sec. user=mdettweiler [2015-09-04 07:05:27] 981*2^1408367-1 is not prime. Res64: AB8545DFA4393358 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:05:48] 991*2^1408367-1 is not prime. Res64: 786DFD06B9E7F7C3 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:05:51] 657*2^1408368-1 is not prime. Res64: B031B3379ABFEAB0 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:05:52] 705*2^1408368-1 is not prime. Res64: 3A9B8D1E07D9875D Time : 0.0 sec. user=mdettweiler [2015-09-04 07:05:55] 759*2^1408368-1 is not prime. Res64: EC3CAE95B5E5B49D Time : 0.0 sec. user=mdettweiler [2015-09-04 07:05:58] 875*2^1408368-1 is not prime. Res64: 41B6D1279AF4FC48 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:06:03] 879*2^1408368-1 is not prime. Res64: 5CBB81798E65C86B Time : 0.0 sec. user=mdettweiler [2015-09-04 07:23:36] 909*2^1408368-1 is not prime. Res64: 428E4ED1389355D7 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:23:36] 639*2^1408369-1 is not prime. Res64: D76165A5020B33FD Time : 0.0 sec. user=mdettweiler [2015-09-04 07:23:40] 939*2^1408369-1 is not prime. Res64: EF02D0BF413B8C9D Time : 0.0 sec. user=mdettweiler [2015-09-04 07:23:41] 951*2^1408369-1 is not prime. Res64: A39F0005337F90EC Time : 0.0 sec. user=mdettweiler [2015-09-04 07:23:42] 955*2^1408369-1 is not prime. Res64: EF9B19428969AC69 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:23:43] 979*2^1408369-1 is not prime. Res64: C6CC0BEC28AF8298 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:23:44] 661*2^1408369-1 is not prime. Res64: D4411AC1C67C1351 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:23:44] 919*2^1408369-1 is not prime. Res64: 244A1453BBAB2276 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:41:17] 711*2^1408370-1 is not prime. Res64: 665A94621A08063F Time : 0.0 sec. user=mdettweiler [2015-09-04 07:41:18] 923*2^1408370-1 is not prime. Res64: 0751362788CAA170 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:41:26] 935*2^1408370-1 is not prime. Res64: EA9E3CFC6B50DB0B Time : 0.0 sec. user=mdettweiler [2015-09-04 07:41:26] 957*2^1408370-1 is not prime. Res64: 94FBA0D30946A8E0 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:41:27] 609*2^1408371-1 is not prime. Res64: 26BA31F0CF8951CE Time : 0.0 sec. user=mdettweiler [2015-09-04 07:41:28] 789*2^1408371-1 is not prime. Res64: 8DDB194D21ACBC54 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:41:28] 639*2^1408371-1 is not prime. Res64: 839037840AA1F643 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:41:28] 835*2^1408371-1 is not prime. Res64: 1E075702A8EAEAAC Time : 0.0 sec. user=mdettweiler [2015-09-04 07:58:52] 895*2^1408371-1 is not prime. Res64: D117C37BA5B4EA0E Time : 0.0 sec. user=mdettweiler [2015-09-04 07:58:52] 931*2^1408371-1 is not prime. Res64: CA8FAD8EC12F3C8B Time : 0.0 sec. user=mdettweiler [2015-09-04 07:59:09] 961*2^1408371-1 is not prime. Res64: 59AF4146C66A2665 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:59:09] 723*2^1408372-1 is not prime. Res64: 9EEF108F3488A9B0 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:59:09] 635*2^1408372-1 is not prime. Res64: 08BB2914E0082EEF Time : 0.0 sec. user=mdettweiler [2015-09-04 07:59:09] 735*2^1408372-1 is not prime. Res64: 3D2A7192C6281F16 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:59:15] 647*2^1408372-1 is not prime. Res64: CFEF236B3B3654D6 Time : 0.0 sec. user=mdettweiler [2015-09-04 07:59:16] 665*2^1408372-1 is not prime. Res64: CE775AB833B755A7 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:16:31] 797*2^1408372-1 is not prime. Res64: BEC4C5007A60A914 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:16:31] 959*2^1408372-1 is not prime. Res64: 85A899300D96DA66 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:16:45] 727*2^1408373-1 is not prime. Res64: A5B5683AF5368AAB Time : 0.0 sec. user=mdettweiler [2015-09-04 08:16:46] 631*2^1408373-1 is not prime. Res64: 4C3EC560DC00576D Time : 0.0 sec. user=mdettweiler [2015-09-04 08:16:46] 811*2^1408373-1 is not prime. Res64: 01341463982D14C9 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:16:46] 651*2^1408373-1 is not prime. Res64: 0E3167206964546D Time : 0.0 sec. user=mdettweiler [2015-09-04 08:16:53] 837*2^1408373-1 is not prime. Res64: 8AF1FDE276E8EF0C Time : 0.0 sec. user=mdettweiler [2015-09-04 08:16:54] 867*2^1408373-1 is not prime. Res64: B4D2E739247809DF Time : 0.0 sec. user=mdettweiler [2015-09-04 08:34:24] 879*2^1408373-1 is not prime. Res64: 61D2051B93AB9C44 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:34:25] 889*2^1408373-1 is not prime. Res64: F83D25398F6E0088 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:34:39] 957*2^1408373-1 is not prime. Res64: 5A76BEAA244C674D Time : 0.0 sec. user=mdettweiler [2015-09-04 08:34:39] 635*2^1408374-1 is not prime. Res64: 2B999EB79BFD1612 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:35:10] 897*2^1408373-1 is not prime. Res64: DAC328DB1ADD50F8 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:35:11] 939*2^1408373-1 is not prime. Res64: 8B76941C3080C463 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:35:11] 641*2^1408374-1 is not prime. Res64: 34DE677C1AB8D9E7 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:35:12] 651*2^1408374-1 is not prime. Res64: 3F59FE54E5439088 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:52:06] 663*2^1408374-1 is not prime. Res64: 5B51BE6B5749618B Time : 0.0 sec. user=mdettweiler [2015-09-04 08:52:07] 833*2^1408374-1 is not prime. Res64: EE5152BA72AFE3E2 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:52:13] 861*2^1408374-1 is not prime. Res64: 17B28932FE6484D0 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:52:13] 941*2^1408374-1 is not prime. Res64: 41F0A213869C0B6A Time : 0.0 sec. user=mdettweiler [2015-09-04 08:52:45] 947*2^1408374-1 is not prime. Res64: ECD8ED4D4681DDDF Time : 0.0 sec. user=mdettweiler [2015-09-04 08:52:45] 975*2^1408374-1 is not prime. Res64: 492B1E5779FEEF89 Time : 0.0 sec. user=mdettweiler [2015-09-04 08:52:49] 639*2^1408375-1 is not prime. Res64: 83BC015353D9FC1D Time : 0.0 sec. user=mdettweiler [2015-09-04 08:52:50] 759*2^1408375-1 is not prime. Res64: 3BBE4D3C2BB2968F Time : 0.0 sec. user=mdettweiler [2015-09-04 09:09:47] 849*2^1408375-1 is not prime. Res64: F8A49C2FD013E00C Time : 0.0 sec. user=mdettweiler [2015-09-04 09:09:48] 925*2^1408375-1 is not prime. Res64: FEA54B4C97D0D228 Time : 0.0 sec. user=mdettweiler [2015-09-04 09:09:51] 725*2^1408376-1 is not prime. Res64: C8C7608EBE4C8D30 Time : 0.0 sec. user=mdettweiler [2015-09-04 09:09:51] 837*2^1408376-1 is not prime. Res64: DC7668D9264316F1 Time : 0.0 sec. user=mdettweiler [2015-09-04 09:10:26] 855*2^1408376-1 is not prime. Res64: 8B2883AB7766AC35 Time : 0.0 sec. user=mdettweiler [2015-09-04 09:10:26] 983*2^1408376-1 is not prime. Res64: 618CF74EA8031A0D Time : 0.0 sec. user=mdettweiler [2015-09-04 09:10:27] 609*2^1408377-1 is not prime. Res64: 60BD2C63B002FF89 Time : 0.0 sec. user=mdettweiler [2015-09-04 09:10:28] 637*2^1408377-1 is not prime. Res64: B9FF027C0E34CBBB Time : 0.0 sec. user=mdettweiler [2015-09-04 09:27:23] 681*2^1408377-1 is not prime. Res64: DBD7D1DEAA1BCF99 Time : 0.0 sec. user=mdettweiler [2015-09-04 09:27:24] 807*2^1408377-1 is not prime. Res64: ECAFEE6AF0F28F3B Time : 0.0 sec. user=mdettweiler [2015-09-04 09:27:25] 871*2^1408377-1 is not prime. Res64: 4DB9DE7511F414D4 Time : 0.0 sec. user=mdettweiler [2015-09-04 09:27:26] 895*2^1408377-1 is not prime. Res64: 87BFD162DCB1979B Time : 0.0 sec. user=mdettweiler [2015-09-04 09:28:01] 919*2^1408377-1 is not prime. Res64: A7E21B4DEBB1B1DB Time : 0.0 sec. user=mdettweiler [2015-09-04 09:28:01] 937*2^1408377-1 is not prime. Res64: E7F5933016AD221B Time : 0.0 sec. user=mdettweiler [2015-09-04 09:28:05] 681*2^1408378-1 is not prime. Res64: 57FBFC1F4284D48E Time : 0.0 sec. user=mdettweiler [2015-09-04 09:28:05] 713*2^1408378-1 is not prime. Res64: F0D8B66648988026 Time : 0.0 sec. user=mdettweiler [2015-09-04 09:45:08] 801*2^1408378-1 is not prime. Res64: 3C120ECF272E9B38 Time : 0.0 sec. user=mdettweiler [2015-09-04 09:45:08] 813*2^1408378-1 is not prime. Res64: 23889CB56E6B8870 Time : 0.0 sec. user=mdettweiler [2015-09-04 09:45:18] 735*2^1408378-1 is not prime. Res64: 2CCBC72E6F3A75A9 Time : 0.0 sec. user=mdettweiler [2015-09-04 09:45:19] 791*2^1408378-1 is not prime. Res64: 157E026BC5C5143F Time : 0.0 sec. user=mdettweiler [2015-09-04 09:45:49] 957*2^1408378-1 is not prime. Res64: DB016D90236C9E1C Time : 0.0 sec. user=mdettweiler [2015-09-04 09:45:49] 971*2^1408378-1 is not prime. Res64: F5457C26EBD7F917 Time : 0.0 sec. user=mdettweiler [2015-09-04 09:45:49] 911*2^1408378-1 is not prime. Res64: 61EF9BB17A7ED93E Time : 0.0 sec. user=mdettweiler [2015-09-04 09:45:50] 945*2^1408378-1 is not prime. Res64: F0C9143F5E12ED41 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:02:49] 643*2^1408379-1 is not prime. Res64: AC46F2E6637E878D Time : 0.0 sec. user=mdettweiler [2015-09-04 10:02:50] 693*2^1408379-1 is not prime. Res64: ECC215FFB9BB6950 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:03:08] 853*2^1408379-1 is not prime. Res64: 92629D63F15C37FB Time : 0.0 sec. user=mdettweiler [2015-09-04 10:03:09] 861*2^1408379-1 is not prime. Res64: 19C46FB11E11F073 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:03:26] 979*2^1408379-1 is not prime. Res64: FC98DCDC6FF3BBEA Time : 0.0 sec. user=mdettweiler [2015-09-04 10:03:28] 985*2^1408379-1 is not prime. Res64: 5244A25B96E71061 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:03:28] 931*2^1408379-1 is not prime. Res64: 9F3FF63447FF1B85 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:03:29] 943*2^1408379-1 is not prime. Res64: 76C85512AEC2A901 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:20:43] 689*2^1408380-1 is not prime. Res64: 7C2EE6FEB158CE56 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:20:43] 693*2^1408380-1 is not prime. Res64: 9D726FC7C156BC6E Time : 0.0 sec. user=mdettweiler [2015-09-04 10:20:57] 707*2^1408380-1 is not prime. Res64: A8FD7022C74F1ED5 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:20:57] 725*2^1408380-1 is not prime. Res64: 52019B294A698E77 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:21:12] 773*2^1408380-1 is not prime. Res64: 55E04FBB413E1629 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:21:12] 887*2^1408380-1 is not prime. Res64: CF4736B4CFFAE696 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:21:17] 687*2^1408381-1 is not prime. Res64: 5AA14E8F885A35F0 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:21:17] 811*2^1408381-1 is not prime. Res64: 9241C9681ED7122B Time : 0.0 sec. user=mdettweiler [2015-09-04 10:38:24] 997*2^1408381-1 is not prime. Res64: C4E27084A807E01F Time : 0.0 sec. user=mdettweiler [2015-09-04 10:38:24] 657*2^1408382-1 is not prime. Res64: 931C32E743A77624 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:38:44] 677*2^1408382-1 is not prime. Res64: FC522E11C7ABC6DA Time : 0.0 sec. user=mdettweiler [2015-09-04 10:38:45] 693*2^1408382-1 is not prime. Res64: 1DBD524535EEB663 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:38:48] 711*2^1408382-1 is not prime. Res64: 5A5233B079834F79 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:38:48] 801*2^1408382-1 is not prime. Res64: 7E396504EB3121D5 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:38:55] 873*2^1408382-1 is not prime. Res64: 16E66F197347A8A0 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:38:56] 875*2^1408382-1 is not prime. Res64: 8C974BA0EC12E3D4 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:56:11] 945*2^1408382-1 is not prime. Res64: FF35A98E9D976EE0 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:56:12] 639*2^1408383-1 is not prime. Res64: 134DC3D1BB27DF19 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:56:28] 735*2^1408383-1 is not prime. Res64: 7FEF193576EA6B48 Time : 0.0 sec. user=mdettweiler [2015-09-04 10:56:28] 745*2^1408383-1 is not prime. Res64: 03CF06AFF0E8133E Time : 0.0 sec. user=mdettweiler [2015-09-04 10:56:31] 675*2^1408383-1 is not prime. Res64: 4F5D8037A2245D3E Time : 0.0 sec. user=mdettweiler [2015-09-04 10:56:31] 693*2^1408383-1 is not prime. Res64: 4880D99BD22375AE Time : 0.0 sec. user=mdettweiler [2015-09-04 10:56:38] 769*2^1408383-1 is not prime. Res64: B8CE4D419D0AA0FF Time : 0.0 sec. user=mdettweiler [2015-09-04 10:56:38] 849*2^1408383-1 is not prime. Res64: 59063C63C293086C Time : 0.0 sec. user=mdettweiler [2015-09-04 11:14:44] 961*2^1408383-1 is not prime. Res64: 39086F7BF591EAD9 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:14:44] 677*2^1408384-1 is not prime. Res64: CECFEE05E925DB95 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:15:06] 699*2^1408384-1 is not prime. Res64: 2C9EEEF36C13BA67 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:15:06] 827*2^1408384-1 is not prime. Res64: 9489EC50DDC1C5BA Time : 0.0 sec. user=mdettweiler [2015-09-04 11:15:08] 903*2^1408384-1 is not prime. Res64: 7167CA7CFA0272AF Time : 0.0 sec. user=mdettweiler [2015-09-04 11:15:08] 915*2^1408384-1 is not prime. Res64: EC2383F358FE213E Time : 0.0 sec. user=mdettweiler [2015-09-04 11:15:31] 939*2^1408384-1 is not prime. Res64: 9CB21F3A058D6ADC Time : 0.0 sec. user=mdettweiler [2015-09-04 11:15:31] 995*2^1408384-1 is not prime. Res64: 194062E8F2A37D61 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:33:45] 675*2^1408385-1 is not prime. Res64: 5F6140CDF1257B9A Time : 0.0 sec. user=mdettweiler [2015-09-04 11:33:45] 861*2^1408385-1 is not prime. Res64: EAF9682D4E0ACD95 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:33:45] 759*2^1408385-1 is not prime. Res64: 557D6613B2140C02 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:33:45] 867*2^1408385-1 is not prime. Res64: 044FCA909420D6D1 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:34:14] 801*2^1408385-1 is not prime. Res64: 1CF4FDA27E03302E Time : 0.0 sec. user=mdettweiler [2015-09-04 11:34:15] 847*2^1408385-1 is not prime. Res64: 314FCF85385FEFFF Time : 0.0 sec. user=mdettweiler [2015-09-04 11:34:31] 885*2^1408385-1 is not prime. Res64: 7883402D5A2FC05B Time : 0.0 sec. user=mdettweiler [2015-09-04 11:34:31] 957*2^1408385-1 is not prime. Res64: 4586E2DDA85B9C25 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:52:36] 821*2^1408386-1 is not prime. Res64: 78EAC9415A48ACC1 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:52:36] 875*2^1408386-1 is not prime. Res64: DCF48C6421F96AD9 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:52:49] 717*2^1408386-1 is not prime. Res64: F8992005B266C194 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:52:49] 735*2^1408386-1 is not prime. Res64: AF97CD6E2D73200F Time : 0.0 sec. user=mdettweiler [2015-09-04 11:52:51] 933*2^1408386-1 is not prime. Res64: 7FDE41D1EF0C1007 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:52:51] 975*2^1408386-1 is not prime. Res64: 3C1A1EB6948F9AFB Time : 0.0 sec. user=mdettweiler [2015-09-04 11:53:38] 603*2^1408387-1 is not prime. Res64: 0A87514E99239D60 Time : 0.0 sec. user=mdettweiler [2015-09-04 11:53:38] 633*2^1408387-1 is not prime. Res64: 387653DBC08D6D4E Time : 0.0 sec. user=mdettweiler [2015-09-04 12:10:51] 759*2^1408387-1 is not prime. Res64: 3BA61653FE50D37F Time : 0.0 sec. user=mdettweiler [2015-09-04 12:10:51] 829*2^1408387-1 is not prime. Res64: 81ED280E7CF0355D Time : 0.0 sec. user=mdettweiler [2015-09-04 12:11:05] 859*2^1408387-1 is not prime. Res64: 72BFFC1E6569B5FB Time : 0.0 sec. user=mdettweiler [2015-09-04 12:11:05] 891*2^1408387-1 is not prime. Res64: 3E19FEB7DBFAD9D8 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:11:21] 945*2^1408387-1 is not prime. Res64: CF98C479F855BB37 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:11:21] 993*2^1408387-1 is not prime. Res64: CFAC652CC555A20F Time : 0.0 sec. user=mdettweiler [2015-09-04 12:12:08] 669*2^1408388-1 is not prime. Res64: B560493DD33BB221 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:12:09] 743*2^1408388-1 is not prime. Res64: 058614DF5730917E Time : 0.0 sec. user=mdettweiler [2015-09-04 12:29:36] 749*2^1408388-1 is not prime. Res64: 64E5E79319985A85 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:29:36] 797*2^1408388-1 is not prime. Res64: ACC20F76468B2CB8 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:29:45] 825*2^1408388-1 is not prime. Res64: 167301C2E56EDDA1 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:29:46] 839*2^1408388-1 is not prime. Res64: ABB690303D4BA274 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:30:07] 845*2^1408388-1 is not prime. Res64: F07C912219309A27 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:30:08] 875*2^1408388-1 is not prime. Res64: F93B22B53DF86755 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:30:47] 945*2^1408388-1 is not prime. Res64: DFE3F7D180EE8E3A Time : 0.0 sec. user=mdettweiler [2015-09-04 12:30:47] 679*2^1408389-1 is not prime. Res64: 40D472740DA5C275 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:48:39] 961*2^1408389-1 is not prime. Res64: A03D085A67BF10DE Time : 0.0 sec. user=mdettweiler [2015-09-04 12:48:40] 857*2^1408390-1 is not prime. Res64: 0D4C76B9E18E3EB4 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:49:00] 835*2^1408389-1 is not prime. Res64: 160DD4AAEF5F9BC6 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:49:00] 919*2^1408389-1 is not prime. Res64: 20C31A5895450E4B Time : 0.0 sec. user=mdettweiler [2015-09-04 12:49:17] 933*2^1408390-1 is not prime. Res64: 322576B9454D06A2 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:49:18] 971*2^1408390-1 is not prime. Res64: 1332442578355767 Time : 0.0 sec. user=mdettweiler [2015-09-04 12:49:55] 615*2^1408391-1 is not prime. Res64: 113E0BCA6675937F Time : 0.0 sec. user=mdettweiler [2015-09-04 12:49:55] 703*2^1408391-1 is not prime. Res64: 2617C4D6E4EAAC02 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:06:20] 783*2^1408391-1 is not prime. Res64: 6EDEAFDBB36415E6 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:06:22] 865*2^1408391-1 is not prime. Res64: 07106A551751D67A Time : 0.0 sec. user=mdettweiler [2015-09-04 13:06:37] 931*2^1408391-1 is not prime. Res64: E94B27561C67113B Time : 0.0 sec. user=mdettweiler [2015-09-04 13:06:39] 969*2^1408391-1 is not prime. Res64: 7B62EE5C0CFCD698 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:06:55] 713*2^1408392-1 is not prime. Res64: 47F2A5F76FC641DB Time : 0.0 sec. user=mdettweiler [2015-09-04 13:06:57] 717*2^1408392-1 is not prime. Res64: 3FC5A68895C361D2 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:07:35] 797*2^1408392-1 is not prime. Res64: 4AE6583EF8BC00B7 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:07:38] 887*2^1408392-1 is not prime. Res64: E111A537EC552EBC Time : 0.0 sec. user=S_K_ [2015-09-04 13:08:53] 691*2^1408389-1 is not prime. Res64: 267AF3A53C165EBE Time : 0.0 sec. user=mdettweiler [2015-09-04 13:24:17] 903*2^1408392-1 is not prime. Res64: 7BE91A474A17EC08 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:24:17] 945*2^1408392-1 is not prime. Res64: C3B776217B47E6D6 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:24:21] 775*2^1408393-1 is not prime. Res64: 08484EA7D64DAF22 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:24:22] 831*2^1408393-1 is not prime. Res64: DF804BA4ACFEF31D Time : 0.0 sec. user=mdettweiler [2015-09-04 13:24:41] 847*2^1408393-1 is not prime. Res64: 8A8D3ECBFE6BFE16 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:24:41] 955*2^1408393-1 is not prime. Res64: 27CFFE673AD474F2 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:25:23] 985*2^1408393-1 is not prime. Res64: 068969975ABF5F89 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:25:23] 683*2^1408394-1 is not prime. Res64: 6E4C21A009523339 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:41:49] 767*2^1408394-1 is not prime. Res64: 076540831053909A Time : 0.0 sec. user=mdettweiler [2015-09-04 13:41:49] 791*2^1408394-1 is not prime. Res64: 65A6A76B8F38CAA2 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:42:02] 875*2^1408394-1 is not prime. Res64: A399B7A2E09DBE9C Time : 0.0 sec. user=mdettweiler [2015-09-04 13:42:02] 921*2^1408394-1 is not prime. Res64: 97CA200D19DDACA1 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:42:14] 945*2^1408394-1 is not prime. Res64: D6F3BD59AF641424 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:42:14] 971*2^1408394-1 is not prime. Res64: 2E1DAC120322AE9C Time : 0.0 sec. user=mdettweiler [2015-09-04 13:42:55] 981*2^1408394-1 is not prime. Res64: E7C417654A1079DD Time : 0.0 sec. user=mdettweiler [2015-09-04 13:42:55] 1001*2^1408394-1 is not prime. Res64: 6C434E62D612EE0D Time : 0.0 sec. user=S_K_ [2015-09-04 13:44:23] 755*2^1408394-1 is not prime. Res64: 0749073A14BC1D86 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:59:34] 651*2^1408395-1 is not prime. Res64: B243D15B9FC8162F Time : 0.0 sec. user=mdettweiler [2015-09-04 13:59:34] 679*2^1408395-1 is not prime. Res64: DBB2AC6DD4ED343C Time : 0.0 sec. user=mdettweiler [2015-09-04 13:59:41] 709*2^1408395-1 is not prime. Res64: FDA965E07F4B3B53 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:59:42] 891*2^1408395-1 is not prime. Res64: 46C38F2898DE66F7 Time : 0.0 sec. user=mdettweiler [2015-09-04 13:59:57] 895*2^1408395-1 is not prime. Res64: 452AFF5EF9B5457B Time : 0.0 sec. user=mdettweiler [2015-09-04 13:59:57] 969*2^1408395-1 is not prime. Res64: 9DDE0694DA61C16E Time : 0.0 sec. user=mdettweiler [2015-09-04 14:00:40] 603*2^1408396-1 is not prime. Res64: F33526920C1FB491 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:00:41] 639*2^1408396-1 is not prime. Res64: C6BB158763865423 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:17:21] 693*2^1408396-1 is not prime. Res64: B64DFB83C3F89B53 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:17:21] 813*2^1408396-1 is not prime. Res64: E2B2E83473B66C2D Time : 0.0 sec. user=mdettweiler [2015-09-04 14:17:22] 873*2^1408396-1 is not prime. Res64: 68D789713C126FC9 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:17:22] 697*2^1408397-1 is not prime. Res64: A97A46C6BB5EF587 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:17:41] 949*2^1408397-1 is not prime. Res64: B3570EBAE81C3F85 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:17:42] 647*2^1408398-1 is not prime. Res64: 34945317E20FF750 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:18:24] 681*2^1408398-1 is not prime. Res64: 99BF65D656FC0C26 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:18:24] 725*2^1408398-1 is not prime. Res64: 6994DD31896A9783 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:35:26] 881*2^1408398-1 is not prime. Res64: 656786401B7D25C3 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:35:26] 963*2^1408398-1 is not prime. Res64: 17AF2D46A185FD4C Time : 0.0 sec. user=mdettweiler [2015-09-04 14:35:28] 731*2^1408398-1 is not prime. Res64: C82423EC762F3697 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:35:29] 767*2^1408398-1 is not prime. Res64: 7029607017080DD7 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:35:50] 649*2^1408399-1 is not prime. Res64: 8A9263774132A38E Time : 0.0 sec. user=mdettweiler [2015-09-04 14:35:50] 741*2^1408399-1 is not prime. Res64: 56DF6E272B6C1CEC Time : 0.0 sec. user=mdettweiler [2015-09-04 14:36:32] 931*2^1408399-1 is not prime. Res64: 941851C533A27F04 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:36:33] 993*2^1408399-1 is not prime. Res64: DB3856D621D9045F Time : 0.0 sec. user=mdettweiler [2015-09-04 14:54:32] 675*2^1408400-1 is not prime. Res64: 8F0F647732999057 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:54:33] 767*2^1408400-1 is not prime. Res64: 31065FEABC616B72 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:54:41] 615*2^1408400-1 is not prime. Res64: 1359C5D14CF52FB9 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:54:42] 629*2^1408400-1 is not prime. Res64: 41C63FAB5A3CAD40 Time : 0.0 sec. user=mdettweiler [2015-09-04 14:55:00] 825*2^1408400-1 is not prime. Res64: 64C8713D73D15D0E Time : 0.0 sec. user=mdettweiler [2015-09-04 14:55:00] 843*2^1408400-1 is not prime. Res64: C229E07BCDF8A16E Time : 0.0 sec. user=mdettweiler [2015-09-04 14:55:33] 875*2^1408400-1 is not prime. Res64: FBBB61CB32B4750A Time : 0.0 sec. user=mdettweiler [2015-09-04 14:55:33] 917*2^1408400-1 is not prime. Res64: 5C703468DC2563FB Time : 0.0 sec. user=mdettweiler [2015-09-04 15:12:56] 927*2^1408400-1 is not prime. Res64: D83A9F0F1A16704A Time : 0.0 sec. user=mdettweiler [2015-09-04 15:12:56] 945*2^1408400-1 is not prime. Res64: 0135C4C29DEB5F25 Time : 0.0 sec. user=mdettweiler [2015-09-04 15:13:14] 963*2^1408400-1 is not prime. Res64: 60E373B322B568AA Time : 0.0 sec. user=mdettweiler [2015-09-04 15:13:15] 977*2^1408400-1 is not prime. Res64: 0F72A844C6788281 Time : 0.0 sec. user=mdettweiler [2015-09-04 15:13:22] 601*2^1408401-1 is not prime. Res64: 7CD7452370B9CCBB Time : 0.0 sec. user=mdettweiler [2015-09-04 15:13:23] 635*2^1408402-1 is not prime. Res64: FF97101881A8E911 Time : 0.0 sec. user=mdettweiler [2015-09-04 15:14:00] 665*2^1408402-1 is not prime. Res64: 1B32B7EDB5161014 Time : 0.0 sec. user=mdettweiler [2015-09-04 15:14:01] 701*2^1408402-1 is not prime. Res64: 24E3E621151CCD7C Time : 0.0 sec. user=mdettweiler [2015-09-04 15:30:40] 885*2^1408402-1 is not prime. Res64: 5C6C411EC4F59D74 Time : 0.0 sec. user=mdettweiler [2015-09-04 15:30:40] 947*2^1408402-1 is not prime. Res64: BB061DC1324DD020 Time : 0.0 sec. user=mdettweiler [2015-09-04 15:30:55] 633*2^1408403-1 is not prime. Res64: C4095481E2D6BDDC Time : 0.0 sec. user=mdettweiler [2015-09-04 15:30:56] 669*2^1408403-1 is not prime. Res64: E9FA1DBBDD728C3E Time : 0.0 sec. user=mdettweiler [2015-09-04 15:31:03] 685*2^1408403-1 is not prime. Res64: 34DF724582CCC5BD Time : 0.0 sec. user=mdettweiler [2015-09-04 15:31:03] 955*2^1408403-1 is not prime. Res64: D90AF5FD0BAF89DF Time : 0.0 sec. user=mdettweiler [2015-09-04 15:31:38] 963*2^1408403-1 is not prime. Res64: 8A95C322C2CE7C3A Time : 0.0 sec. user=mdettweiler [2015-09-04 15:31:38] 981*2^1408403-1 is not prime. Res64: 265AC9F33FDBE0B6 Time : 0.0 sec. user=S_K_ [2015-09-04 15:38:24] 855*2^1408402-1 is not prime. Res64: E10BBF0FBC78D58B Time : 0.0 sec. user=mdettweiler [2015-09-04 15:48:20] 635*2^1408404-1 is not prime. Res64: B98DC34A5FDB4D32 Time : 0.0 sec. user=mdettweiler [2015-09-04 15:48:21] 665*2^1408404-1 is not prime. Res64: E19F80E4F69989B0 Time : 0.0 sec. user=mdettweiler [2015-09-04 15:48:34] 759*2^1408404-1 is not prime. Res64: D70932D4B7257340 Time : 0.0 sec. user=mdettweiler [2015-09-04 15:48:35] 993*2^1408404-1 is not prime. Res64: 795FE0D2622BA5B8 Time : 0.0 sec. user=mdettweiler [2015-09-04 15:48:43] 645*2^1408405-1 is not prime. Res64: FC0650B455BBE7A0 Time : 0.0 sec. user=mdettweiler [2015-09-04 15:48:43] 685*2^1408405-1 is not prime. Res64: D643F26289EDC73E Time : 0.0 sec. user=mdettweiler [2015-09-04 15:49:28] 729*2^1408405-1 is not prime. Res64: 3E2FCD8559C4897E Time : 0.0 sec. user=mdettweiler [2015-09-04 15:49:29] 877*2^1408405-1 is not prime. Res64: CB56FCEDBCF8F404 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:06:06] 889*2^1408405-1 is not prime. Res64: 4141346012C1B7BD Time : 0.0 sec. user=mdettweiler [2015-09-04 16:06:07] 617*2^1408406-1 is not prime. Res64: 5DC2B0646EE3D448 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:06:10] 671*2^1408406-1 is not prime. Res64: B68F4265B3B18E95 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:06:11] 693*2^1408406-1 is not prime. Res64: 179FD096454FED9A Time : 0.0 sec. user=mdettweiler [2015-09-04 16:06:26] 743*2^1408406-1 is not prime. Res64: B0A81EBC07C472A2 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:06:27] 843*2^1408406-1 is not prime. Res64: 1533DCC4347E0A09 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:07:09] 851*2^1408406-1 is not prime. Res64: 55107DAF132F8ED3 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:07:11] 903*2^1408406-1 is not prime. Res64: E25D553308C27A13 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:24:10] 693*2^1408407-1 is not prime. Res64: 715B9E0317829E2A Time : 0.0 sec. user=mdettweiler [2015-09-04 16:24:11] 871*2^1408407-1 is not prime. Res64: 3A2947422B7A79F8 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:24:12] 1001*2^1408406-1 is not prime. Res64: E46947EC77256AC8 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:24:12] 781*2^1408407-1 is not prime. Res64: 7E5A7859E723BDF1 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:24:16] 795*2^1408407-1 is not prime. Res64: E2FCDBA576420495 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:24:16] 805*2^1408407-1 is not prime. Res64: 75AE59DCF7567C6A Time : 0.0 sec. user=mdettweiler [2015-09-04 16:24:58] 879*2^1408407-1 is not prime. Res64: 09059E17CA6FF2F7 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:24:59] 885*2^1408407-1 is not prime. Res64: 98021CBFC7A6B0CC Time : 0.0 sec. user=mdettweiler [2015-09-04 16:41:50] 913*2^1408407-1 is not prime. Res64: 37D37912CAA3BB71 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:41:50] 663*2^1408408-1 is not prime. Res64: 1D28CC92670F354A Time : 0.0 sec. user=mdettweiler [2015-09-04 16:41:50] 629*2^1408408-1 is not prime. Res64: 33B53B1F8817BB81 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:41:50] 687*2^1408408-1 is not prime. Res64: 37011C03A22FE4EE Time : 0.0 sec. user=mdettweiler [2015-09-04 16:41:57] 723*2^1408408-1 is not prime. Res64: BF1596B18241D590 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:41:58] 803*2^1408408-1 is not prime. Res64: 723C02BD59619B3D Time : 0.0 sec. user=mdettweiler [2015-09-04 16:42:30] 827*2^1408408-1 is not prime. Res64: 07F9604A596711DA Time : 0.0 sec. user=mdettweiler [2015-09-04 16:42:31] 845*2^1408408-1 is not prime. Res64: 5B27FC4372307364 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:59:33] 615*2^1408409-1 is not prime. Res64: BC2D8700FB6F5D5E Time : 0.0 sec. user=mdettweiler [2015-09-04 16:59:34] 691*2^1408409-1 is not prime. Res64: DFA676B8090BA781 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:59:40] 927*2^1408408-1 is not prime. Res64: 0ED67AE7A7BC3B91 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:59:40] 947*2^1408408-1 is not prime. Res64: FEC3779675E3C708 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:59:43] 699*2^1408409-1 is not prime. Res64: 1998990A0A1938D3 Time : 0.0 sec. user=mdettweiler [2015-09-04 16:59:44] 861*2^1408409-1 is not prime. Res64: 232962B4EDE25CD5 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:00:17] 897*2^1408409-1 is not prime. Res64: D0E22D88662AE1C8 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:00:17] 945*2^1408409-1 is not prime. Res64: 21EAAEC1BDA3D7BB Time : 0.0 sec. user=mdettweiler [2015-09-04 17:17:24] 717*2^1408410-1 is not prime. Res64: 9D021BBCEE492E52 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:17:24] 735*2^1408410-1 is not prime. Res64: 06D646AE6FD57411 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:17:25] 611*2^1408410-1 is not prime. Res64: 856175806FD1FCD9 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:17:25] 657*2^1408410-1 is not prime. Res64: A3E9565F400BD130 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:17:33] 741*2^1408410-1 is not prime. Res64: AA676F00BF544448 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:17:34] 797*2^1408410-1 is not prime. Res64: 2EC73F2F5136D0AD Time : 0.0 sec. user=mdettweiler [2015-09-04 17:18:01] 957*2^1408410-1 is not prime. Res64: 5F9F0E3C9594966C Time : 0.0 sec. user=mdettweiler [2015-09-04 17:18:01] 615*2^1408411-1 is not prime. Res64: 87A275745421734D Time : 0.0 sec. user=mdettweiler [2015-09-04 17:35:12] 735*2^1408411-1 is not prime. Res64: 72A2361803C47BDC Time : 0.0 sec. user=mdettweiler [2015-09-04 17:35:13] 769*2^1408411-1 is not prime. Res64: 2ECC78762EE45EB0 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:35:16] 801*2^1408411-1 is not prime. Res64: 834040C42D616FCD Time : 0.0 sec. user=mdettweiler [2015-09-04 17:35:16] 909*2^1408411-1 is not prime. Res64: FD7708061A85A137 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:35:17] 951*2^1408411-1 is not prime. Res64: 812795497473DAA6 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:35:17] 975*2^1408411-1 is not prime. Res64: EDCF91CD4C60A684 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:35:33] 603*2^1408412-1 is not prime. Res64: AFE5AF110F40C546 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:35:33] 609*2^1408412-1 is not prime. Res64: 7AE4FC280EB749B3 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:52:59] 669*2^1408412-1 is not prime. Res64: 42286A19291F58BD Time : 0.0 sec. user=mdettweiler [2015-09-04 17:52:59] 699*2^1408412-1 is not prime. Res64: 1B09F5C1476CC9EE Time : 0.0 sec. user=mdettweiler [2015-09-04 17:53:09] 797*2^1408412-1 is not prime. Res64: 4898F0D4C7552C24 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:53:09] 813*2^1408412-1 is not prime. Res64: FF092EFD441A27B0 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:53:17] 855*2^1408412-1 is not prime. Res64: 37F3B35EF802626E Time : 0.0 sec. user=mdettweiler [2015-09-04 17:53:18] 903*2^1408412-1 is not prime. Res64: 3D59FF6F1507D0AD Time : 0.0 sec. user=mdettweiler [2015-09-04 17:53:20] 833*2^1408412-1 is not prime. Res64: 452679AE5DD43F16 Time : 0.0 sec. user=mdettweiler [2015-09-04 17:53:20] 843*2^1408412-1 is not prime. Res64: 13C6F35EA00634C2 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:10:50] 935*2^1408412-1 is not prime. Res64: 01ADFAC611B664E3 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:10:51] 625*2^1408413-1 is not prime. Res64: B517549AF4E01DEF Time : 0.0 sec. user=mdettweiler [2015-09-04 18:11:01] 847*2^1408413-1 is not prime. Res64: BE1E1D9EB88503E6 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:11:02] 895*2^1408413-1 is not prime. Res64: 8A1EDDD503CA9277 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:11:07] 737*2^1408414-1 is not prime. Res64: 287D4D16A4FF7237 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:11:08] 885*2^1408414-1 is not prime. Res64: AC8113CD6C3ECFB3 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:11:14] 617*2^1408414-1 is not prime. Res64: 7F282FDDF18CE2EE Time : 0.0 sec. user=mdettweiler [2015-09-04 18:11:14] 681*2^1408414-1 is not prime. Res64: 93CBC159E7407818 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:28:43] 923*2^1408414-1 is not prime. Res64: 63EE503D0F8BBB29 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:28:43] 601*2^1408415-1 is not prime. Res64: 094895A210EA6D63 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:28:57] 775*2^1408415-1 is not prime. Res64: 0BAF4E760EB47AA1 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:28:58] 783*2^1408415-1 is not prime. Res64: DC27E4B19DC57D3B Time : 0.0 sec. user=mdettweiler [2015-09-04 18:28:58] 651*2^1408415-1 is not prime. Res64: 9FD7A7397EE3693A Time : 0.0 sec. user=mdettweiler [2015-09-04 18:28:59] 693*2^1408415-1 is not prime. Res64: 8C85B4674599DD1F Time : 0.0 sec. user=mdettweiler [2015-09-04 18:29:04] 609*2^1408415-1 is not prime. Res64: 60A98D2FEA696711 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:29:04] 619*2^1408415-1 is not prime. Res64: 98B260EDEFF1FB75 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:46:27] 623*2^1408416-1 is not prime. Res64: 7F02A38F839C1C44 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:46:27] 633*2^1408416-1 is not prime. Res64: C5BCEE4A2A588703 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:46:44] 725*2^1408416-1 is not prime. Res64: AA84FC458C64A438 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:46:45] 765*2^1408416-1 is not prime. Res64: AD9DB8E5282F03DE Time : 0.0 sec. user=mdettweiler [2015-09-04 18:46:45] 789*2^1408416-1 is not prime. Res64: 98D323EFC4DBF570 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:46:45] 843*2^1408416-1 is not prime. Res64: 901BB44A03D9BEC2 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:46:53] 945*2^1408416-1 is not prime. Res64: 4747506BC63158E2 Time : 0.0 sec. user=mdettweiler [2015-09-04 18:46:54] 609*2^1408417-1 is not prime. Res64: 097216517E31E0FA Time : 0.0 sec. user=mdettweiler [2015-09-04 19:04:06] 667*2^1408417-1 is not prime. Res64: C4BE08CC82DCA42A Time : 0.0 sec. user=mdettweiler [2015-09-04 19:04:08] 691*2^1408417-1 is not prime. Res64: 91F98BA4503E83F2 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:04:26] 819*2^1408417-1 is not prime. Res64: 5947CEDB22706CB7 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:04:28] 985*2^1408417-1 is not prime. Res64: 7FA2C81F876D22BA Time : 0.0 sec. user=mdettweiler [2015-09-04 19:04:31] 777*2^1408417-1 is not prime. Res64: CC067AF1DBD5B192 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:04:33] 799*2^1408417-1 is not prime. Res64: 997226D0DDEAD82D Time : 0.0 sec. user=mdettweiler [2015-09-04 19:04:42] 605*2^1408418-1 is not prime. Res64: DBC505632A5F4B18 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:04:44] 657*2^1408418-1 is not prime. Res64: F015C5F1BBCABC27 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:22:04] 671*2^1408418-1 is not prime. Res64: D1306F6B5B1B6DB5 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:22:05] 735*2^1408418-1 is not prime. Res64: B88ABC3EC4E6AAC5 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:22:22] 773*2^1408418-1 is not prime. Res64: B21FA2D308C9E2BD Time : 0.0 sec. user=mdettweiler [2015-09-04 19:22:22] 837*2^1408418-1 is not prime. Res64: 329D7116E87A85C0 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:22:33] 601*2^1408419-1 is not prime. Res64: 743844E9500EA7BA Time : 0.0 sec. user=mdettweiler [2015-09-04 19:22:34] 711*2^1408419-1 is not prime. Res64: 908C988E1C808E50 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:22:43] 753*2^1408419-1 is not prime. Res64: 4E740EDC060BEF02 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:22:43] 775*2^1408419-1 is not prime. Res64: 4056B22550FA6043 Time : 0.0 sec. user=S_K_ [2015-09-04 19:31:10] 915*2^1408414-1 is not prime. Res64: 165B559B6A9B2303 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:40:19] 853*2^1408419-1 is not prime. Res64: 683269DFB74A60A1 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:40:20] 879*2^1408419-1 is not prime. Res64: E64E3A241ABFDCAA Time : 0.0 sec. user=mdettweiler [2015-09-04 19:40:39] 895*2^1408419-1 is not prime. Res64: BC1BDF50B6107711 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:40:40] 913*2^1408419-1 is not prime. Res64: 5DEF2CDCA1E127B8 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:41:00] 603*2^1408420-1 is not prime. Res64: A1125D6443152B15 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:41:00] 717*2^1408420-1 is not prime. Res64: 74B365883312B7A6 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:41:02] 921*2^1408419-1 is not prime. Res64: 3A40D1B22F8C0FD0 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:41:02] 975*2^1408419-1 is not prime. Res64: 9CC0ED807DA40BDF Time : 0.0 sec. user=mdettweiler [2015-09-04 19:59:03] 819*2^1408420-1 is not prime. Res64: 366D817A63A56B25 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:59:03] 905*2^1408420-1 is not prime. Res64: 7431FDC71877B9C8 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:59:30] 909*2^1408420-1 is not prime. Res64: A0A0C3EA5A305378 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:59:31] 929*2^1408420-1 is not prime. Res64: 996ACA46B96E9F51 Time : 0.0 sec. user=mdettweiler [2015-09-04 19:59:48] 775*2^1408421-1 is not prime. Res64: 2C951A135D41DE7A Time : 0.0 sec. user=mdettweiler [2015-09-04 19:59:48] 799*2^1408421-1 is not prime. Res64: 3E01EA9E24BA028F Time : 0.0 sec. user=mdettweiler [2015-09-04 19:59:59] 649*2^1408421-1 is not prime. Res64: 4EF5A29991854862 Time : 0.0 sec. user=mdettweiler [2015-09-04 20:00:00] 675*2^1408421-1 is not prime. Res64: 0DE9932FDA024B91 Time : 0.0 sec. user=mdettweiler [2015-09-04 20:17:17] 805*2^1408421-1 is not prime. Res64: 1E4ACB3EC707BE78 Time : 0.0 sec. user=mdettweiler [2015-09-04 20:17:18] 865*2^1408421-1 is not prime. Res64: 78A3470258EEBE3F Time : 0.0 sec. user=mdettweiler [2015-09-04 20:17:45] 937*2^1408421-1 is not prime. Res64: FBF622FD2FAD5318 Time : 0.0 sec. user=mdettweiler [2015-09-04 20:17:46] 755*2^1408422-1 is not prime. Res64: 54836BA2A2A76CEA Time : 0.0 sec. user=mdettweiler [2015-09-04 20:18:02] 891*2^1408422-1 is not prime. Res64: 4D438E3FE83349DD Time : 0.0 sec. user=mdettweiler [2015-09-04 20:18:02] 917*2^1408422-1 is not prime. Res64: E677C0128F184111 Time : 0.0 sec. user=mdettweiler [2015-09-04 20:18:33] 729*2^1408423-1 is not prime. Res64: 9E13C2DF10FDD05F Time : 0.0 sec. user=mdettweiler [2015-09-04 20:18:33] 771*2^1408423-1 is not prime. Res64: 07B247ECFFDCB566 Time : 0.0 sec. user=mdettweiler [2015-09-04 20:35:32] 853*2^1408423-1 is not prime. Res64: 271F4F327CF5AEFD Time : 0.0 sec. user=mdettweiler [2015-09-04 20:35:32] 973*2^1408423-1 is not prime. Res64: B8B03493A5C7BE3C Time : 0.0 sec. user=mdettweiler [2015-09-04 20:36:06] 677*2^1408424-1 is not prime. Res64: 68BA619F36FCDADF Time : 0.0 sec. user=mdettweiler [2015-09-04 20:36:06] 767*2^1408424-1 is not prime. Res64: 498B63B38C988A0D Time : 0.0 sec. user=mdettweiler [2015-09-04 20:36:22] 785*2^1408424-1 is not prime. Res64: 5DEC5967235C2958 Time : 0.0 sec. user=mdettweiler [2015-09-04 20:36:22] 897*2^1408424-1 is not prime. Res64: 141493504710E087 Time : 0.0 sec. user=mdettweiler [2015-09-04 20:37:01] 649*2^1408425-1 is not prime. Res64: 2854658CD0ECD57C Time : 0.0 sec. user=mdettweiler [2015-09-04 20:37:01] 699*2^1408425-1 is not prime. Res64: 54FD96868E18211C Time : 0.0 sec. user=juhehe [2015-09-04 20:51:49] 867*2^1408421-1 is not prime. Res64: 7656226A3279B54A Time : 0.0 sec. user=mdettweiler [2015-09-04 20:54:58] 721*2^1408425-1 is not prime. Res64: 00F8DDF7B4D18C9F Time : 0.0 sec. user=mdettweiler [2015-09-04 20:54:58] 647*2^1408426-1 is not prime. Res64: 4A6002754FD8FB66 Time : 0.0 sec. user=mdettweiler [2015-09-04 20:55:18] 737*2^1408426-1 is not prime. Res64: 50776170736C3F5C Time : 0.0 sec. user=mdettweiler [2015-09-04 20:55:18] 743*2^1408426-1 is not prime. Res64: D8D865E864ECDBF7 Time : 0.0 sec. user=mdettweiler [2015-09-04 20:55:38] 843*2^1408426-1 is not prime. Res64: 731DFCD22A3A2FBC Time : 0.0 sec. user=mdettweiler [2015-09-04 20:55:39] 873*2^1408426-1 is not prime. Res64: 0D5D212A7306816A Time : 0.0 sec. user=mdettweiler [2015-09-04 20:56:16] 923*2^1408426-1 is not prime. Res64: 1C7C7A6EBD1E2FD4 Time : 0.0 sec. user=mdettweiler [2015-09-04 20:56:16] 645*2^1408427-1 is not prime. Res64: 2BC731F5587C5486 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:13:51] 735*2^1408427-1 is not prime. Res64: 23C96E60A1BFE764 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:13:52] 823*2^1408427-1 is not prime. Res64: 7612011D3E70D9CC Time : 0.0 sec. user=mdettweiler [2015-09-04 21:13:57] 883*2^1408427-1 is not prime. Res64: 88B30EB8E3AC4F0E Time : 0.0 sec. user=mdettweiler [2015-09-04 21:13:58] 885*2^1408427-1 is not prime. Res64: 788ED85794FC8911 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:14:35] 985*2^1408427-1 is not prime. Res64: F312514A13416A3A Time : 0.0 sec. user=mdettweiler [2015-09-04 21:14:35] 999*2^1408427-1 is not prime. Res64: D58078180DB170CA Time : 0.0 sec. user=mdettweiler [2015-09-04 21:15:10] 845*2^1408428-1 is not prime. Res64: E4179B7F63355378 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:15:10] 969*2^1408428-1 is not prime. Res64: F10A27767E4C8428 Time : 0.0 sec. user=S_K_ [2015-09-04 21:32:06] 711*2^1408427-1 is not prime. Res64: 2E325F5773CA33FC Time : 0.0 sec. user=mdettweiler [2015-09-04 21:33:21] 819*2^1408429-1 is not prime. Res64: F88FEACBD2E17DA8 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:33:21] 825*2^1408429-1 is not prime. Res64: 4CAF46D5BE18A6FE Time : 0.0 sec. user=mdettweiler [2015-09-04 21:33:26] 681*2^1408429-1 is not prime. Res64: 8B128624740E0569 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:33:26] 747*2^1408429-1 is not prime. Res64: 8009A92169911B89 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:33:58] 835*2^1408429-1 is not prime. Res64: E144D733ADE16545 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:33:58] 975*2^1408429-1 is not prime. Res64: E8CD974584DB45E4 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:34:15] 997*2^1408429-1 is not prime. Res64: 055D805C1B1FC40B Time : 0.0 sec. user=mdettweiler [2015-09-04 21:34:16] 641*2^1408430-1 is not prime. Res64: B4960701A0727B31 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:53:31] 773*2^1408430-1 is not prime. Res64: 3815179A29FF99A5 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:53:31] 843*2^1408430-1 is not prime. Res64: 8290A5A402443EC0 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:53:51] 885*2^1408430-1 is not prime. Res64: 87F96F255DD54AC1 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:53:51] 941*2^1408430-1 is not prime. Res64: 28323616BD31A460 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:54:25] 621*2^1408431-1 is not prime. Res64: DB055971D3F72AF9 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:54:25] 625*2^1408431-1 is not prime. Res64: CF217DADCD67A4FD Time : 0.0 sec. user=mdettweiler [2015-09-04 21:54:27] 691*2^1408431-1 is not prime. Res64: EB93E07FCB78B613 Time : 0.0 sec. user=mdettweiler [2015-09-04 21:54:27] 693*2^1408431-1 is not prime. Res64: 100BF6B08E119DC7 Time : 0.0 sec. user=mdettweiler [2015-09-04 22:12:04] 709*2^1408431-1 is not prime. Res64: 9FECEEB1852294E7 Time : 0.0 sec. user=mdettweiler [2015-09-04 22:12:04] 741*2^1408431-1 is not prime. Res64: FB8F0FFF4CF8E0CB Time : 0.0 sec. user=mdettweiler [2015-09-04 22:12:30] 871*2^1408431-1 is not prime. Res64: 96A6AE72107DE21A Time : 0.0 sec. user=mdettweiler [2015-09-04 22:12:30] 951*2^1408431-1 is not prime. Res64: 003399AD88E3098D Time : 0.0 sec. user=mdettweiler [2015-09-04 22:12:59] 705*2^1408432-1 is not prime. Res64: 467772827D6536CC Time : 0.0 sec. user=mdettweiler [2015-09-04 22:13:00] 717*2^1408432-1 is not prime. Res64: 8369ECF54669754F Time : 0.0 sec. user=mdettweiler [2015-09-04 22:13:11] 999*2^1408431-1 is not prime. Res64: 841452CD034343C8 Time : 0.0 sec. user=mdettweiler [2015-09-04 22:13:12] 657*2^1408432-1 is not prime. Res64: 4AA0E63E032A055F Time : 0.0 sec. user=mdettweiler [2015-09-04 22:29:53] 777*2^1408432-1 is not prime. Res64: 5165A85C25C53934 Time : 0.0 sec. user=mdettweiler [2015-09-04 22:29:53] 933*2^1408432-1 is not prime. Res64: 7B3299894D40D575 Time : 0.0 sec. user=mdettweiler [2015-09-04 22:30:13] 989*2^1408432-1 is not prime. Res64: EE805C8A32A5769B Time : 0.0 sec. user=mdettweiler [2015-09-04 22:30:13] 627*2^1408433-1 is not prime. Res64: 511FF2B660CC5925 Time : 0.0 sec. user=mdettweiler [2015-09-04 22:30:37] 697*2^1408433-1 is not prime. Res64: F41D69A11B6D7739 Time : 0.0 sec. user=mdettweiler [2015-09-04 22:30:37] 987*2^1408433-1 is not prime. Res64: 2C71B94E4A7AACCC Time : 0.0 sec. user=mdettweiler [2015-09-04 22:30:51] 737*2^1408434-1 is not prime. Res64: 8397BA6351C1AAE5 Time : 0.0 sec. user=mdettweiler [2015-09-04 22:30:51] 755*2^1408434-1 is not prime. Res64: 7D0DA1C78BF8D220 Time : 0.0 sec. user=mdettweiler [2015-09-04 22:47:37] 797*2^1408434-1 is not prime. Res64: 6F9AB23419455661 Time : 0.0 sec. user=mdettweiler [2015-09-04 22:47:38] 803*2^1408434-1 is not prime. Res64: 0BADE3B3D0E7AFAC Time : 0.0 sec. user=mdettweiler [2015-09-04 22:47:56] 645*2^1408435-1 is not prime. Res64: 1E782EB011836E72 Time : 0.0 sec. user=mdettweiler [2015-09-04 22:47:56] 691*2^1408435-1 is not prime. Res64: E19AC291922C931A Time : 0.0 sec. user=mdettweiler [2015-09-04 22:48:16] 735*2^1408435-1 is not prime. Res64: E949326872A5C187 Time : 0.0 sec. user=mdettweiler [2015-09-04 22:48:17] 765*2^1408435-1 is not prime. Res64: A6E3D4065A19E67A Time : 0.0 sec. user=mdettweiler [2015-09-04 22:48:32] 783*2^1408435-1 is not prime. Res64: 952C28DFA48AC0FA Time : 0.0 sec. user=mdettweiler [2015-09-04 22:48:32] 849*2^1408435-1 is not prime. Res64: 2B22DEC01B8DCA20 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:05:26] 873*2^1408435-1 is not prime. Res64: 343E37A3279C5B62 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:05:28] 943*2^1408435-1 is not prime. Res64: 82FF9C808ADCAFD4 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:05:51] 969*2^1408435-1 is not prime. Res64: D920B6268DEA5C1B Time : 0.0 sec. user=mdettweiler [2015-09-04 23:05:52] 669*2^1408436-1 is not prime. Res64: DA26CFFB1A2CF664 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:06:09] 869*2^1408436-1 is not prime. Res64: 2DAEDB98FAB65B76 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:06:10] 873*2^1408436-1 is not prime. Res64: CD9DA5F220748A9C Time : 0.0 sec. user=mdettweiler [2015-09-04 23:06:20] 909*2^1408436-1 is not prime. Res64: 4AFE7E8B40A41CFE Time : 0.0 sec. user=mdettweiler [2015-09-04 23:06:22] 655*2^1408437-1 is not prime. Res64: CFCC3530E9EAB740 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:23:34] 837*2^1408437-1 is not prime. Res64: B0D8331F497ED015 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:23:34] 895*2^1408437-1 is not prime. Res64: 2BC3D057BF866F0D Time : 0.0 sec. user=mdettweiler [2015-09-04 23:23:37] 945*2^1408437-1 is not prime. Res64: BC87200FE6AF1AC1 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:23:37] 707*2^1408438-1 is not prime. Res64: 5F928204618C32EB Time : 0.0 sec. user=mdettweiler [2015-09-04 23:23:56] 713*2^1408438-1 is not prime. Res64: 063F13578CDC0F24 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:23:56] 773*2^1408438-1 is not prime. Res64: 2E3B49C7D4CC69C1 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:24:12] 815*2^1408438-1 is not prime. Res64: 91E0DE549103F83C Time : 0.0 sec. user=mdettweiler [2015-09-04 23:24:12] 881*2^1408438-1 is not prime. Res64: C32F31364E6741B1 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:41:16] 957*2^1408438-1 is not prime. Res64: F43257CEEBC2C53B Time : 0.0 sec. user=mdettweiler [2015-09-04 23:41:16] 703*2^1408439-1 is not prime. Res64: 10C9E0456AC578EA Time : 0.0 sec. user=mdettweiler [2015-09-04 23:41:20] 895*2^1408439-1 is not prime. Res64: 2059A9E3D5043BEA Time : 0.0 sec. user=mdettweiler [2015-09-04 23:41:20] 909*2^1408439-1 is not prime. Res64: AA2387D61F4476AD Time : 0.0 sec. user=mdettweiler [2015-09-04 23:41:37] 913*2^1408439-1 is not prime. Res64: E3053BE05A15071C Time : 0.0 sec. user=mdettweiler [2015-09-04 23:41:37] 943*2^1408439-1 is not prime. Res64: D34B361537FF4E1F Time : 0.0 sec. user=mdettweiler [2015-09-04 23:42:03] 695*2^1408440-1 is not prime. Res64: BD27A5B891783A8A Time : 0.0 sec. user=mdettweiler [2015-09-04 23:42:03] 809*2^1408440-1 is not prime. Res64: 5A7813EABE37AEC7 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:58:52] 819*2^1408440-1 is not prime. Res64: 3595A542C232D502 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:58:53] 839*2^1408440-1 is not prime. Res64: 34AB5A3A1D6D6823 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:58:55] 687*2^1408441-1 is not prime. Res64: 4F6CE7BA8B684BC8 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:58:56] 691*2^1408441-1 is not prime. Res64: B727D31816CD0DA6 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:59:15] 715*2^1408441-1 is not prime. Res64: F0DEAE973D7C88B9 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:59:15] 717*2^1408441-1 is not prime. Res64: 02C5E77B16DAA43C Time : 0.0 sec. user=mdettweiler [2015-09-04 23:59:39] 751*2^1408441-1 is not prime. Res64: 8CA5E04D9E13EB61 Time : 0.0 sec. user=mdettweiler [2015-09-04 23:59:39] 829*2^1408441-1 is not prime. Res64: 602B089A64FA3FFC Time : 0.0 sec.