user=mdettweiler [2018-08-03 00:09:59] 843*2^1520226-1 is not prime. Res64: 47EDE64DC1FD5774 Time : 0.0 sec. user=mdettweiler [2018-08-03 00:10:00] 891*2^1520226-1 is not prime. Res64: F20979C0D6B7545D Time : 0.0 sec. user=mdettweiler [2018-08-03 00:10:00] 793*2^1520227-1 is not prime. Res64: 1A63591B8BA0F0D3 Time : 0.0 sec. user=mdettweiler [2018-08-03 00:10:01] 901*2^1520227-1 is not prime. Res64: 92418E811984FE58 Time : 0.0 sec. user=mdettweiler [2018-08-03 00:10:01] 635*2^1520228-1 is not prime. Res64: 4FB046DEA5109AFC Time : 0.0 sec. user=mdettweiler [2018-08-03 00:30:00] 777*2^1520228-1 is not prime. Res64: 2AABA9ED09FDA110 Time : 0.0 sec. user=mdettweiler [2018-08-03 00:30:00] 855*2^1520228-1 is not prime. Res64: 201B538972CB5E6B Time : 0.0 sec. user=mdettweiler [2018-08-03 00:30:01] 909*2^1520228-1 is not prime. Res64: F535F5C5699420B0 Time : 0.0 sec. user=mdettweiler [2018-08-03 00:30:01] 945*2^1520228-1 is not prime. Res64: 5F8288D43C7E1592 Time : 0.0 sec. user=mdettweiler [2018-08-03 00:30:02] 957*2^1520228-1 is not prime. Res64: 607D48D141968AD0 Time : 0.0 sec. user=mdettweiler [2018-08-03 00:35:48] 977*2^1520228-1 is not prime. Res64: D7114C6F173A92D4 Time : 0.0 sec. user=mdettweiler [2018-08-03 00:35:48] 945*2^1520229-1 is not prime. Res64: F08F787AD072CD65 Time : 0.0 sec. user=mdettweiler [2018-08-03 00:35:48] 955*2^1520229-1 is not prime. Res64: C3D7FB1062FDE6DB Time : 0.0 sec. user=mdettweiler [2018-08-03 00:35:49] 999*2^1520229-1 is not prime. Res64: 3AFA3B5E0B62C8B6 Time : 0.0 sec. user=mdettweiler [2018-08-03 00:35:49] 611*2^1520230-1 is not prime. Res64: 698C491FFE5C575B Time : 0.0 sec. user=mdettweiler [2018-08-03 00:44:53] 645*2^1520230-1 is not prime. Res64: B11F7DD507F415CF Time : 0.0 sec. user=mdettweiler [2018-08-03 00:44:54] 657*2^1520230-1 is not prime. Res64: B67769B0D5613ACE Time : 0.0 sec. user=mdettweiler [2018-08-03 00:44:54] 687*2^1520230-1 is not prime. Res64: B359F0B4F887F50B Time : 0.0 sec. user=mdettweiler [2018-08-03 00:44:54] 783*2^1520230-1 is not prime. Res64: 5476483D76A08375 Time : 0.0 sec. user=mdettweiler [2018-08-03 00:44:55] 957*2^1520230-1 is not prime. Res64: 2C54337D75A88312 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:01:21] 1001*2^1520230-1 is not prime. Res64: B0D2C61FC60F07DD Time : 0.0 sec. user=mdettweiler [2018-08-03 01:01:22] 703*2^1520231-1 is not prime. Res64: 1A67FD4AA6DD03F6 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:01:23] 715*2^1520231-1 is not prime. Res64: B3205B73033320FF Time : 0.0 sec. user=mdettweiler [2018-08-03 01:01:24] 879*2^1520231-1 is not prime. Res64: 468441B62E48A1AC Time : 0.0 sec. user=mdettweiler [2018-08-03 01:01:25] 909*2^1520231-1 is not prime. Res64: 8C05775624A0ED4D Time : 0.0 sec. user=mdettweiler [2018-08-03 01:22:04] 979*2^1520231-1 is not prime. Res64: 92233AC1B313FB58 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:22:04] 699*2^1520232-1 is not prime. Res64: F6E67E829989D9F6 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:22:05] 719*2^1520232-1 is not prime. Res64: BE6271C7D52AB8F6 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:22:05] 767*2^1520232-1 is not prime. Res64: 7A90EE803AAE078B Time : 0.0 sec. user=mdettweiler [2018-08-03 01:22:06] 815*2^1520232-1 is not prime. Res64: 3762749736E46050 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:27:05] 843*2^1520232-1 is not prime. Res64: 0DBC4E2205E4C27A Time : 0.0 sec. user=mdettweiler [2018-08-03 01:27:06] 863*2^1520232-1 is not prime. Res64: 53369316E8361A05 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:27:07] 619*2^1520233-1 is not prime. Res64: 813A4C13049F00DC Time : 0.0 sec. user=mdettweiler [2018-08-03 01:27:08] 847*2^1520233-1 is not prime. Res64: 1A51507683957DCB Time : 0.0 sec. user=mdettweiler [2018-08-03 01:27:09] 981*2^1520233-1 is not prime. Res64: DC1C7126E4F388B5 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:37:28] 987*2^1520233-1 is not prime. Res64: 7AA73D08A9E421DD Time : 0.0 sec. user=mdettweiler [2018-08-03 01:37:29] 623*2^1520234-1 is not prime. Res64: A41FF640D8C63E93 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:37:30] 705*2^1520234-1 is not prime. Res64: E53CFDD032A46C70 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:37:31] 753*2^1520234-1 is not prime. Res64: 0B50EAFEF3913432 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:37:31] 773*2^1520234-1 is not prime. Res64: BA1A1D4E5D13A1B8 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:53:13] 861*2^1520234-1 is not prime. Res64: 1F85F1EECE7ACA93 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:53:13] 619*2^1520235-1 is not prime. Res64: 92763365429205F7 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:53:14] 675*2^1520235-1 is not prime. Res64: FC88F5EF0B46B85B Time : 0.0 sec. user=mdettweiler [2018-08-03 01:53:14] 751*2^1520235-1 is not prime. Res64: 153D3E26B856FF03 Time : 0.0 sec. user=mdettweiler [2018-08-03 01:53:15] 795*2^1520235-1 is not prime. Res64: 6B4B21C1AFBF2673 Time : 0.0 sec. user=mdettweiler [2018-08-03 02:14:07] 921*2^1520235-1 is not prime. Res64: E171D7E31E8A7043 Time : 0.0 sec. user=mdettweiler [2018-08-03 02:14:08] 991*2^1520235-1 is not prime. Res64: 50D9B13DF85009D8 Time : 0.0 sec. user=mdettweiler [2018-08-03 02:14:10] 999*2^1520235-1 is not prime. Res64: E3A6ED2E9BEBE762 Time : 0.0 sec. user=mdettweiler [2018-08-03 02:14:12] 639*2^1520236-1 is not prime. Res64: 1DACAEA19F25A4C9 Time : 0.0 sec. user=mdettweiler [2018-08-03 02:14:14] 675*2^1520236-1 is not prime. Res64: B486369E11488A4C Time : 0.0 sec. user=mdettweiler [2018-08-03 02:19:01] 719*2^1520236-1 is not prime. Res64: C292624BB85AC730 Time : 0.0 sec. user=mdettweiler [2018-08-03 02:19:01] 735*2^1520236-1 is not prime. Res64: 806C575334B1D22B Time : 0.0 sec. user=mdettweiler [2018-08-03 02:19:02] 759*2^1520236-1 is not prime. Res64: 5340A39A13E71127 Time : 0.0 sec. user=mdettweiler [2018-08-03 02:19:02] 875*2^1520236-1 is not prime. Res64: 3DCE281420A8E1D1 Time : 0.0 sec. user=mdettweiler [2018-08-03 02:19:02] 903*2^1520236-1 is not prime. Res64: D5472E8E492EF38D Time : 0.0 sec. user=mdettweiler [2018-08-03 02:29:53] 909*2^1520236-1 is not prime. Res64: 1133CE2F6FDF5E0D Time : 0.0 sec. user=mdettweiler [2018-08-03 02:29:54] 927*2^1520236-1 is not prime. Res64: FF22716D3707DE01 Time : 0.0 sec. user=mdettweiler [2018-08-03 02:29:54] 953*2^1520236-1 is not prime. Res64: B5DA72A82978B0EA Time : 0.0 sec. user=mdettweiler [2018-08-03 02:29:55] 989*2^1520236-1 is not prime. Res64: E208F8488834FEA1 Time : 0.0 sec. user=mdettweiler [2018-08-03 02:29:55] 621*2^1520237-1 is not prime. Res64: 91247E4BB45837E0 Time : 0.0 sec. user=mdettweiler [2018-08-03 02:46:09] 627*2^1520237-1 is not prime. Res64: 2308A266468FAC8A Time : 0.0 sec. user=mdettweiler [2018-08-03 02:46:09] 711*2^1520237-1 is not prime. Res64: CFB9C35EAF91A6E9 Time : 0.0 sec. user=mdettweiler [2018-08-03 02:46:09] 715*2^1520237-1 is not prime. Res64: C0CF99289C71510D Time : 0.0 sec. user=mdettweiler [2018-08-03 02:46:10] 781*2^1520237-1 is not prime. Res64: B459E453C45CE46D Time : 0.0 sec. user=mdettweiler [2018-08-03 02:46:10] 829*2^1520237-1 is not prime. Res64: DCFAB6C1D2784448 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:07:06] 859*2^1520237-1 is not prime. Res64: BC79648F689C2A2A Time : 0.0 sec. user=mdettweiler [2018-08-03 03:07:08] 871*2^1520237-1 is not prime. Res64: 750C78CB92A4A5CF Time : 0.0 sec. user=mdettweiler [2018-08-03 03:07:12] 885*2^1520237-1 is not prime. Res64: F2B2F2D5A59041D5 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:07:12] 627*2^1520238-1 is not prime. Res64: 8A38785986363F5E Time : 0.0 sec. user=mdettweiler [2018-08-03 03:07:13] 641*2^1520238-1 is not prime. Res64: 2D953A4F36296210 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:11:26] 657*2^1520238-1 is not prime. Res64: FC273B787BFF3B74 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:11:26] 663*2^1520238-1 is not prime. Res64: 452DE1C6818F4AAD Time : 0.0 sec. user=mdettweiler [2018-08-03 03:11:27] 707*2^1520238-1 is not prime. Res64: 1617CF04A1E18964 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:11:27] 1001*2^1520238-1 is not prime. Res64: D6DB523BE6B0C0DC Time : 0.0 sec. user=mdettweiler [2018-08-03 03:11:28] 685*2^1520239-1 is not prime. Res64: BAD2C8DF9D1AF628 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:22:19] 789*2^1520239-1 is not prime. Res64: ECB8BAD93C0A086E Time : 0.0 sec. user=mdettweiler [2018-08-03 03:22:20] 885*2^1520239-1 is not prime. Res64: E4974F0F20925713 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:22:20] 913*2^1520239-1 is not prime. Res64: F70EFD102C0767F0 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:22:20] 931*2^1520239-1 is not prime. Res64: F76E8347745862B8 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:22:21] 665*2^1520240-1 is not prime. Res64: CA849BA29BF33C57 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:37:30] 675*2^1520240-1 is not prime. Res64: C24E1B90B28B40A4 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:37:31] 677*2^1520240-1 is not prime. Res64: 8006C37A0D994AE7 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:37:32] 725*2^1520240-1 is not prime. Res64: 6A7237114DC0D67C Time : 0.0 sec. user=mdettweiler [2018-08-03 03:37:33] 735*2^1520240-1 is not prime. Res64: 274E776C5A5EC2D6 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:37:33] 759*2^1520240-1 is not prime. Res64: 9A7010E6FB48A9FF Time : 0.0 sec. user=mdettweiler [2018-08-03 03:58:00] 789*2^1520240-1 is not prime. Res64: 533DCC6D37C42B7B Time : 0.0 sec. user=mdettweiler [2018-08-03 03:58:04] 839*2^1520240-1 is not prime. Res64: 4966C0B25BBE89EA Time : 0.0 sec. user=mdettweiler [2018-08-03 03:58:09] 929*2^1520240-1 is not prime. Res64: 6BAF2FC879AABD8B Time : 0.0 sec. user=mdettweiler [2018-08-03 03:58:11] 999*2^1520240-1 is not prime. Res64: EE5DE1A439ACCF64 Time : 0.0 sec. user=mdettweiler [2018-08-03 03:58:16] 607*2^1520241-1 is not prime. Res64: 66B4A2569E306644 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:03:06] 615*2^1520241-1 is not prime. Res64: D5C12EBF1A0C2452 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:03:09] 727*2^1520241-1 is not prime. Res64: 6D5D6BB8E7780543 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:03:11] 777*2^1520241-1 is not prime. Res64: C62AADC6CFDECC79 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:03:13] 789*2^1520241-1 is not prime. Res64: DFABF25762995F1A Time : 0.0 sec. user=mdettweiler [2018-08-03 04:03:14] 817*2^1520241-1 is not prime. Res64: 6470951C183FA31B Time : 0.0 sec. user=mdettweiler [2018-08-03 04:13:43] 829*2^1520241-1 is not prime. Res64: 617553302A32F0AC Time : 0.0 sec. user=mdettweiler [2018-08-03 04:13:50] 835*2^1520241-1 is not prime. Res64: 465A3328F4BB4C35 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:13:54] 865*2^1520241-1 is not prime. Res64: A2C8F268642CE1FB Time : 0.0 sec. user=mdettweiler [2018-08-03 04:13:58] 617*2^1520242-1 is not prime. Res64: 7D516963D82DFA30 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:14:01] 657*2^1520242-1 is not prime. Res64: 77635CF334C1841F Time : 0.0 sec. user=mdettweiler [2018-08-03 04:29:17] 677*2^1520242-1 is not prime. Res64: 451E09B29AF992BA Time : 0.0 sec. user=mdettweiler [2018-08-03 04:29:18] 827*2^1520242-1 is not prime. Res64: 2C2CFA108553A6A3 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:29:19] 891*2^1520242-1 is not prime. Res64: D75B9AFC8EEDB294 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:29:28] 675*2^1520243-1 is not prime. Res64: 6DB28E36B2B9E42E Time : 0.0 sec. user=mdettweiler [2018-08-03 04:50:10] 735*2^1520243-1 is not prime. Res64: 9E9D6C9D13789FD2 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:50:11] 861*2^1520243-1 is not prime. Res64: 501ECC3B9F44E187 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:50:11] 885*2^1520243-1 is not prime. Res64: 1430DE4427E18222 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:50:12] 889*2^1520243-1 is not prime. Res64: 2FCF8BD3903D6FE9 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:50:14] 921*2^1520243-1 is not prime. Res64: CB48205FB3EC4191 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:55:39] 675*2^1520244-1 is not prime. Res64: 66390DA0E54402D8 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:55:40] 803*2^1520244-1 is not prime. Res64: 0CF228ED41140B6A Time : 0.0 sec. user=mdettweiler [2018-08-03 04:55:40] 809*2^1520244-1 is not prime. Res64: AD78A248AF39ABC6 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:55:41] 899*2^1520244-1 is not prime. Res64: 43519F348907FBD3 Time : 0.0 sec. user=mdettweiler [2018-08-03 04:55:42] 947*2^1520244-1 is not prime. Res64: FE3D94FD196F4023 Time : 0.0 sec. user=mdettweiler [2018-08-03 05:06:59] 801*2^1520245-1 is not prime. Res64: 13639334CD5A5ADA Time : 0.0 sec. user=mdettweiler [2018-08-03 05:07:00] 871*2^1520245-1 is not prime. Res64: 6E79C2F0085D38D5 Time : 0.0 sec. user=mdettweiler [2018-08-03 05:07:01] 999*2^1520245-1 is not prime. Res64: E0B5622AA862B7A7 Time : 0.0 sec. user=mdettweiler [2018-08-03 05:07:04] 615*2^1520246-1 is not prime. Res64: 0B2193949789C28E Time : 0.0 sec. user=mdettweiler [2018-08-03 05:07:08] 641*2^1520246-1 is not prime. Res64: FA64C3FF29D3B1A2 Time : 0.0 sec. user=mdettweiler [2018-08-03 05:41:40] 645*2^1520246-1 is not prime. Res64: EEC0CDB5D78ABFB7 Time : 0.0 sec. user=mdettweiler [2018-08-03 05:41:41] 827*2^1520246-1 is not prime. Res64: 4487D5391AB97B6A Time : 0.0 sec. user=mdettweiler [2018-08-03 05:41:42] 971*2^1520246-1 is not prime. Res64: 4469A1F00D35A3AB Time : 0.0 sec. user=mdettweiler [2018-08-03 05:41:42] 615*2^1520247-1 is not prime. Res64: 05789B4C66A2D821 Time : 0.0 sec. user=mdettweiler [2018-08-03 05:41:43] 685*2^1520247-1 is not prime. Res64: 5E6A61E90028700D Time : 0.0 sec. user=mdettweiler [2018-08-03 05:47:15] 795*2^1520247-1 is not prime. Res64: 61E3532DB4DDA72A Time : 0.0 sec. user=mdettweiler [2018-08-03 05:47:16] 819*2^1520247-1 is not prime. Res64: 49C0BDBF54DCF124 Time : 0.0 sec. user=mdettweiler [2018-08-03 05:47:16] 949*2^1520247-1 is not prime. Res64: BD211B8583F896FE Time : 0.0 sec. user=mdettweiler [2018-08-03 05:47:16] 963*2^1520247-1 is not prime. Res64: 4CFD314959CCC281 Time : 0.0 sec. user=mdettweiler [2018-08-03 05:47:17] 639*2^1520248-1 is not prime. Res64: 57DA24BF74CD54E1 Time : 0.0 sec. user=mdettweiler [2018-08-03 05:59:01] 663*2^1520248-1 is not prime. Res64: 3ECEF8CDD0909B41 Time : 0.0 sec. user=mdettweiler [2018-08-03 05:59:01] 665*2^1520248-1 is not prime. Res64: 62DF30CFF1FF381C Time : 0.0 sec. user=mdettweiler [2018-08-03 05:59:01] 813*2^1520248-1 is not prime. Res64: 9E9A9DAECF4F6B2C Time : 0.0 sec. user=mdettweiler [2018-08-03 05:59:02] 827*2^1520248-1 is not prime. Res64: 5C71E68B6DC7BFA4 Time : 0.0 sec. user=mdettweiler [2018-08-03 05:59:02] 869*2^1520248-1 is not prime. Res64: AB304885BBFC7EFB Time : 0.0 sec. user=mdettweiler [2018-08-03 06:33:30] 691*2^1520249-1 is not prime. Res64: A61D045B47F49436 Time : 0.0 sec. user=mdettweiler [2018-08-03 06:33:30] 861*2^1520249-1 is not prime. Res64: 0C774BCCA17E5B3D Time : 0.0 sec. user=mdettweiler [2018-08-03 06:33:30] 997*2^1520249-1 is not prime. Res64: C2AEF05AE69C12DF Time : 0.0 sec. user=mdettweiler [2018-08-03 06:33:31] 711*2^1520250-1 is not prime. Res64: 56A97C0BD073720A Time : 0.0 sec. user=mdettweiler [2018-08-03 06:33:31] 713*2^1520250-1 is not prime. Res64: 95DF7D59A2319DD0 Time : 0.0 sec. user=mdettweiler [2018-08-03 06:38:41] 747*2^1520250-1 is not prime. Res64: 5A0B6ECD2EBADE25 Time : 0.0 sec. user=mdettweiler [2018-08-03 06:38:41] 783*2^1520250-1 is not prime. Res64: CE8AD86B977968C6 Time : 0.0 sec. user=mdettweiler [2018-08-03 06:38:41] 933*2^1520250-1 is not prime. Res64: A7D40A0225061237 Time : 0.0 sec. user=mdettweiler [2018-08-03 06:38:42] 941*2^1520250-1 is not prime. Res64: 49135CD01385FE2D Time : 0.0 sec. user=mdettweiler [2018-08-03 06:38:42] 963*2^1520250-1 is not prime. Res64: 72F0DA09E73FD451 Time : 0.0 sec. user=mdettweiler [2018-08-03 06:50:39] 783*2^1520251-1 is not prime. Res64: 82F4CC2891C5018A Time : 0.0 sec. user=mdettweiler [2018-08-03 06:50:40] 829*2^1520251-1 is not prime. Res64: 943F61C376359566 Time : 0.0 sec. user=mdettweiler [2018-08-03 06:50:40] 835*2^1520251-1 is not prime. Res64: 4D577669250CAF7B Time : 0.0 sec. user=mdettweiler [2018-08-03 06:50:41] 871*2^1520251-1 is not prime. Res64: 0CC2A40C2D434635 Time : 0.0 sec. user=mdettweiler [2018-08-03 06:50:41] 891*2^1520251-1 is not prime. Res64: D7B1A503E3A750B7 Time : 0.0 sec. user=mdettweiler [2018-08-03 07:24:53] 951*2^1520251-1 is not prime. Res64: 224809000DF332DE Time : 0.0 sec. user=mdettweiler [2018-08-03 07:24:54] 605*2^1520252-1 is not prime. Res64: 9306442BE0821D30 Time : 0.0 sec. user=mdettweiler [2018-08-03 07:24:54] 623*2^1520252-1 is not prime. Res64: 5B86646BAF19068D Time : 0.0 sec. user=mdettweiler [2018-08-03 07:24:54] 647*2^1520252-1 is not prime. Res64: 5E9AEEF0BC8D7C4E Time : 0.0 sec. user=mdettweiler [2018-08-03 07:24:55] 677*2^1520252-1 is not prime. Res64: F2AEE8DA0F726E5B Time : 0.0 sec. user=mdettweiler [2018-08-03 07:30:31] 855*2^1520252-1 is not prime. Res64: 2C073DD1DD85751F Time : 0.0 sec. user=mdettweiler [2018-08-03 07:30:31] 879*2^1520252-1 is not prime. Res64: 663DA39189702E8C Time : 0.0 sec. user=mdettweiler [2018-08-03 07:30:32] 909*2^1520252-1 is not prime. Res64: 83C2FCDABAC48180 Time : 0.0 sec. user=mdettweiler [2018-08-03 07:30:32] 935*2^1520252-1 is not prime. Res64: 7E0AE032CE0300A3 Time : 0.0 sec. user=mdettweiler [2018-08-03 07:30:32] 963*2^1520252-1 is not prime. Res64: 0360951288CAC5E9 Time : 0.0 sec. user=mdettweiler [2018-08-03 07:41:57] 983*2^1520252-1 is not prime. Res64: B9FE54DA88544AD1 Time : 0.0 sec. user=mdettweiler [2018-08-03 07:41:58] 639*2^1520253-1 is not prime. Res64: 5B23DF7FCA4CA97F Time : 0.0 sec. user=mdettweiler [2018-08-03 07:41:58] 811*2^1520253-1 is not prime. Res64: 144AA68BB812266E Time : 0.0 sec. user=mdettweiler [2018-08-03 07:41:58] 955*2^1520253-1 is not prime. Res64: BA98A6175EA2313F Time : 0.0 sec. user=mdettweiler [2018-08-03 07:41:59] 675*2^1520254-1 is not prime. Res64: 82799B8AC5998D07 Time : 0.0 sec. user=mdettweiler [2018-08-03 08:09:10] 693*2^1520243-1 is not prime. Res64: B441C0A4D75A490B Time : 0.0 sec. user=mdettweiler [2018-08-03 08:15:54] 825*2^1520254-1 is not prime. Res64: 308DB640185D1F3A Time : 0.0 sec. user=mdettweiler [2018-08-03 08:15:55] 903*2^1520254-1 is not prime. Res64: F01B74A0D2B289CC Time : 0.0 sec. user=mdettweiler [2018-08-03 08:15:55] 975*2^1520254-1 is not prime. Res64: CD4114685A7299C9 Time : 0.0 sec. user=mdettweiler [2018-08-03 08:15:55] 609*2^1520255-1 is not prime. Res64: E83EBFB1C3A953D4 Time : 0.0 sec. user=mdettweiler [2018-08-03 08:15:56] 693*2^1520255-1 is not prime. Res64: B2AD7419775FD930 Time : 0.0 sec. user=mdettweiler [2018-08-03 08:21:42] 721*2^1520255-1 is not prime. Res64: 063BC3FE677927CA Time : 0.0 sec. user=mdettweiler [2018-08-03 08:21:43] 775*2^1520255-1 is not prime. Res64: EA5DC178B1BBDCE3 Time : 0.0 sec. user=mdettweiler [2018-08-03 08:21:43] 789*2^1520255-1 is not prime. Res64: 49FF3A97876C3311 Time : 0.0 sec. user=mdettweiler [2018-08-03 08:21:43] 819*2^1520255-1 is not prime. Res64: 91AE4F4791231623 Time : 0.0 sec. user=mdettweiler [2018-08-03 08:21:44] 809*2^1520256-1 is not prime. Res64: 96C315EE987ECE7B Time : 0.0 sec. user=mdettweiler [2018-08-03 08:32:38] 747*2^1520257-1 is not prime. Res64: 978A68DD621083B1 Time : 0.0 sec. user=mdettweiler [2018-08-03 08:32:39] 975*2^1520257-1 is not prime. Res64: C66541882E6044E0 Time : 0.0 sec. user=mdettweiler [2018-08-03 08:32:39] 603*2^1520258-1 is not prime. Res64: E097339C6842341B Time : 0.0 sec. user=mdettweiler [2018-08-03 08:32:39] 623*2^1520258-1 is not prime. Res64: 288CFA1E54F411C3 Time : 0.0 sec. user=mdettweiler [2018-08-03 08:32:40] 683*2^1520258-1 is not prime. Res64: 5B1C8BB46E170A11 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:00:41] 731*2^1520258-1 is not prime. Res64: 3334E8C94BF6D4E8 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:00:42] 743*2^1520258-1 is not prime. Res64: 2F48749A2A21D807 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:00:43] 867*2^1520258-1 is not prime. Res64: CE13607DD71888B6 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:00:43] 971*2^1520258-1 is not prime. Res64: 4A5B2B92C0627491 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:00:44] 1001*2^1520258-1 is not prime. Res64: D53003BBF755AB95 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:06:52] 615*2^1520259-1 is not prime. Res64: 53D1D1BCC6E7E01D Time : 0.0 sec. user=mdettweiler [2018-08-03 09:06:59] 723*2^1520259-1 is not prime. Res64: 215CE35834FAFE6C Time : 0.0 sec. user=mdettweiler [2018-08-03 09:07:00] 909*2^1520259-1 is not prime. Res64: BEB8FB87B53F5FB9 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:07:00] 635*2^1520260-1 is not prime. Res64: 28CB3BCD984E1A45 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:07:01] 803*2^1520260-1 is not prime. Res64: FEC24DB32D35997C Time : 0.0 sec. user=mdettweiler [2018-08-03 09:12:01] 833*2^1520260-1 is not prime. Res64: 01FA2709F656C896 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:12:02] 957*2^1520260-1 is not prime. Res64: 2B1EE94FFB1C4893 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:12:02] 989*2^1520260-1 is not prime. Res64: 118468123F0BCDD5 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:12:02] 601*2^1520261-1 is not prime. Res64: 1FEE9287A224B366 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:12:03] 615*2^1520261-1 is not prime. Res64: AC5BD35236AF158B Time : 0.0 sec. user=mdettweiler [2018-08-03 09:23:29] 651*2^1520261-1 is not prime. Res64: 18AC9C2F57E25A0F Time : 0.0 sec. user=mdettweiler [2018-08-03 09:23:29] 855*2^1520261-1 is not prime. Res64: 9E8F4CE579A55FC8 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:23:30] 867*2^1520261-1 is not prime. Res64: 148CA8981883AAF7 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:23:30] 879*2^1520261-1 is not prime. Res64: 257056238021B770 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:23:30] 907*2^1520261-1 is not prime. Res64: DF0087D0A33FFA9E Time : 0.0 sec. user=mdettweiler [2018-08-03 09:52:09] 955*2^1520261-1 is not prime. Res64: 579C510EF82ADB13 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:52:09] 815*2^1520262-1 is not prime. Res64: 7DF9B718EDE6BDCE Time : 0.0 sec. user=mdettweiler [2018-08-03 09:52:10] 825*2^1520262-1 is not prime. Res64: 75A09A67474CB3D9 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:52:10] 833*2^1520262-1 is not prime. Res64: A6B2D9F279C1C079 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:52:10] 917*2^1520262-1 is not prime. Res64: 2AA97316A7D7CEFA Time : 0.0 sec. user=mdettweiler [2018-08-03 09:58:15] 685*2^1520263-1 is not prime. Res64: 9683E043A58A9A42 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:58:15] 729*2^1520263-1 is not prime. Res64: B74D32158875C133 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:58:15] 811*2^1520263-1 is not prime. Res64: 2642C7D549C03579 Time : 0.0 sec. user=mdettweiler [2018-08-03 09:58:16] 831*2^1520263-1 is not prime. Res64: A489AF6D2ADA80CF Time : 0.0 sec. user=mdettweiler [2018-08-03 09:58:16] 853*2^1520263-1 is not prime. Res64: 75EA31472E9A35D0 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:02:26] 915*2^1520263-1 is not prime. Res64: 2571A06581770213 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:02:27] 919*2^1520263-1 is not prime. Res64: 2704A78C173EE24F Time : 0.0 sec. user=mdettweiler [2018-08-03 10:02:28] 961*2^1520263-1 is not prime. Res64: 14367491C6EE9CB3 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:02:28] 999*2^1520263-1 is not prime. Res64: 825F9EE2846F448B Time : 0.0 sec. user=mdettweiler [2018-08-03 10:02:29] 605*2^1520264-1 is not prime. Res64: 7C1803FAE1B2AF38 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:14:38] 623*2^1520264-1 is not prime. Res64: 3C410B198703CBC1 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:14:39] 645*2^1520264-1 is not prime. Res64: 000E897B13AF81CA Time : 0.0 sec. user=mdettweiler [2018-08-03 10:14:39] 665*2^1520264-1 is not prime. Res64: 1E58C23E5923B7F4 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:14:40] 743*2^1520264-1 is not prime. Res64: 0A442021103F7CE4 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:14:40] 755*2^1520264-1 is not prime. Res64: E95886EE4C725A5F Time : 0.0 sec. user=mdettweiler [2018-08-03 10:43:06] 767*2^1520264-1 is not prime. Res64: 948BB937029A4611 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:43:06] 773*2^1520264-1 is not prime. Res64: F26DA8063CA8D852 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:43:07] 827*2^1520264-1 is not prime. Res64: 45BFFE2B072EFD82 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:43:07] 837*2^1520264-1 is not prime. Res64: 4A91B5F1C23A4D30 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:43:08] 929*2^1520264-1 is not prime. Res64: E7FC70D36C670DAC Time : 0.0 sec. user=mdettweiler [2018-08-03 10:49:14] 969*2^1520264-1 is not prime. Res64: 6DED498AB36CCA9F Time : 0.0 sec. user=mdettweiler [2018-08-03 10:49:14] 709*2^1520265-1 is not prime. Res64: CE976F7F627ED349 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:49:14] 871*2^1520265-1 is not prime. Res64: 30BD37AF1876C673 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:49:15] 889*2^1520265-1 is not prime. Res64: 27DD0B1B423A49AC Time : 0.0 sec. user=mdettweiler [2018-08-03 10:49:15] 801*2^1520266-1 is not prime. Res64: F48CCF919A8E7DCA Time : 0.0 sec. user=mdettweiler [2018-08-03 10:53:28] 867*2^1520266-1 is not prime. Res64: AD3E8F86B3F2C21F Time : 0.0 sec. user=mdettweiler [2018-08-03 10:53:28] 993*2^1520266-1 is not prime. Res64: 76906A757D17F0F6 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:53:29] 759*2^1520267-1 is not prime. Res64: 10001F71837A7D4A Time : 0.0 sec. user=mdettweiler [2018-08-03 10:53:29] 781*2^1520267-1 is not prime. Res64: E91A1FF77CA46090 Time : 0.0 sec. user=mdettweiler [2018-08-03 10:53:29] 913*2^1520267-1 is not prime. Res64: 81D7D7AEA712BFAD Time : 0.0 sec. user=mdettweiler [2018-08-03 11:05:28] 949*2^1520267-1 is not prime. Res64: DFC89613C14FB2F8 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:05:29] 963*2^1520267-1 is not prime. Res64: 20D4CA3C7557A286 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:05:30] 985*2^1520267-1 is not prime. Res64: D91F003B3744CA4E Time : 0.0 sec. user=mdettweiler [2018-08-03 11:05:31] 905*2^1520268-1 is not prime. Res64: A3B5449CFB9499B6 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:05:32] 927*2^1520268-1 is not prime. Res64: 1AFA1334CFEFA8BD Time : 0.0 sec. user=mdettweiler [2018-08-03 11:34:01] 649*2^1520269-1 is not prime. Res64: FC8ECCF0480D8F42 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:34:01] 675*2^1520269-1 is not prime. Res64: 67FA2E330AE3E664 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:34:01] 747*2^1520269-1 is not prime. Res64: 442FD627167256F9 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:34:02] 801*2^1520269-1 is not prime. Res64: 476EC6E7A7688202 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:34:02] 939*2^1520269-1 is not prime. Res64: 6543AFAF9FEE2DBD Time : 0.0 sec. user=mdettweiler [2018-08-03 11:40:21] 987*2^1520269-1 is not prime. Res64: 669E9A5029BAAE5D Time : 0.0 sec. user=mdettweiler [2018-08-03 11:40:22] 615*2^1520270-1 is not prime. Res64: F7224BE24C1B03D2 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:40:22] 801*2^1520270-1 is not prime. Res64: 5AF7A7D4D30BE7F8 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:40:22] 813*2^1520270-1 is not prime. Res64: 891D08EE03F1CD50 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:40:23] 875*2^1520270-1 is not prime. Res64: C8CB898178AA3D32 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:44:17] 911*2^1520270-1 is not prime. Res64: 74B020FCB194A7DE Time : 0.0 sec. user=mdettweiler [2018-08-03 11:44:18] 921*2^1520270-1 is not prime. Res64: 25FD7032EA5B92D4 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:44:18] 923*2^1520270-1 is not prime. Res64: 578B7349CA28CA5B Time : 0.0 sec. user=mdettweiler [2018-08-03 11:44:18] 935*2^1520270-1 is not prime. Res64: DF7ED769109B1B27 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:44:19] 971*2^1520270-1 is not prime. Res64: D0903EF4BA99EB39 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:56:26] 613*2^1520271-1 is not prime. Res64: FE1903DD384476B5 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:56:27] 861*2^1520271-1 is not prime. Res64: 8AE599F47D96FF0B Time : 0.0 sec. user=mdettweiler [2018-08-03 11:56:27] 921*2^1520271-1 is not prime. Res64: 63396AD3970013D3 Time : 0.0 sec. user=mdettweiler [2018-08-03 11:56:27] 951*2^1520271-1 is not prime. Res64: 4A846E39887B505E Time : 0.0 sec. user=mdettweiler [2018-08-03 11:56:28] 603*2^1520272-1 is not prime. Res64: 50164E5B4F16266A Time : 0.0 sec. user=mdettweiler [2018-08-03 12:25:52] 635*2^1520272-1 is not prime. Res64: E3D093E5E1124C28 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:25:53] 723*2^1520272-1 is not prime. Res64: 8BB4D8742AA05016 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:25:53] 765*2^1520272-1 is not prime. Res64: C27169600CFA9684 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:25:54] 939*2^1520272-1 is not prime. Res64: 6628B2A4063061C0 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:25:54] 947*2^1520272-1 is not prime. Res64: 9C8375102733EF0B Time : 0.0 sec. user=mdettweiler [2018-08-03 12:32:36] 691*2^1520273-1 is not prime. Res64: 8C87AB21C3CE1865 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:32:36] 705*2^1520273-1 is not prime. Res64: 3A995A9D4ECF86A8 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:32:37] 847*2^1520273-1 is not prime. Res64: 5F62181C9E793B1C Time : 0.0 sec. user=mdettweiler [2018-08-03 12:32:37] 879*2^1520273-1 is not prime. Res64: B425ADD5D127B9E8 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:32:37] 937*2^1520273-1 is not prime. Res64: EF508C9391B5D8E9 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:36:42] 951*2^1520273-1 is not prime. Res64: 7DAEE8E7DB66AEEE Time : 0.0 sec. user=mdettweiler [2018-08-03 12:36:43] 985*2^1520273-1 is not prime. Res64: 888DE01D33C342B9 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:36:43] 635*2^1520274-1 is not prime. Res64: 96A3223A7485D8BD Time : 0.0 sec. user=mdettweiler [2018-08-03 12:36:43] 717*2^1520274-1 is not prime. Res64: AFA3A260A2C310FF Time : 0.0 sec. user=mdettweiler [2018-08-03 12:36:44] 747*2^1520274-1 is not prime. Res64: 6BC3014C42389276 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:50:22] 765*2^1520274-1 is not prime. Res64: 47102973A73190C2 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:50:22] 797*2^1520274-1 is not prime. Res64: 2B3AE56BBA02DD38 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:50:22] 815*2^1520274-1 is not prime. Res64: 4D55F96F69EEDBC0 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:50:23] 851*2^1520274-1 is not prime. Res64: 0F0FA355BF6C7060 Time : 0.0 sec. user=mdettweiler [2018-08-03 12:50:23] 945*2^1520274-1 is not prime. Res64: E33A106F9D271BDA Time : 0.0 sec. user=mdettweiler [2018-08-03 13:22:58] 971*2^1520274-1 is not prime. Res64: C40B06E708412E93 Time : 0.0 sec. user=mdettweiler [2018-08-03 13:22:59] 993*2^1520274-1 is not prime. Res64: 29588FD9AACE89FC Time : 0.0 sec. user=mdettweiler [2018-08-03 13:22:59] 639*2^1520275-1 is not prime. Res64: 008B212282C1FD1C Time : 0.0 sec. user=mdettweiler [2018-08-03 13:22:59] 723*2^1520275-1 is not prime. Res64: 78CD596F55D2E0D4 Time : 0.0 sec. user=mdettweiler [2018-08-03 13:23:00] 873*2^1520275-1 is not prime. Res64: 54A9E5471F5A0532 Time : 0.0 sec. user=mdettweiler [2018-08-03 13:28:38] 979*2^1520275-1 is not prime. Res64: 7FACBD71D0A74403 Time : 0.0 sec. user=mdettweiler [2018-08-03 13:28:38] 999*2^1520275-1 is not prime. Res64: 92C76E9A59561C36 Time : 0.0 sec. user=mdettweiler [2018-08-03 13:28:39] 603*2^1520276-1 is not prime. Res64: C34B1EEC6DA22634 Time : 0.0 sec. user=mdettweiler [2018-08-03 13:28:39] 629*2^1520276-1 is not prime. Res64: 7DA77C2688D0229E Time : 0.0 sec. user=mdettweiler [2018-08-03 13:28:39] 633*2^1520276-1 is not prime. Res64: E4200E2E40A8F192 Time : 0.0 sec. user=mdettweiler [2018-08-03 13:33:18] 749*2^1520276-1 is not prime. Res64: 8943F0DA4F730E4B Time : 0.0 sec. user=mdettweiler [2018-08-03 13:33:19] 759*2^1520276-1 is not prime. Res64: 13F079267962F8BD Time : 0.0 sec. user=mdettweiler [2018-08-03 13:33:19] 897*2^1520276-1 is not prime. Res64: 07425474F21DBBE9 Time : 0.0 sec. user=mdettweiler [2018-08-03 13:33:20] 963*2^1520276-1 is not prime. Res64: AE15F8B0BACA8AEE Time : 0.0 sec. user=mdettweiler [2018-08-03 13:33:20] 983*2^1520276-1 is not prime. Res64: 4B39D766099A8A91 Time : 0.0 sec. user=mdettweiler [2018-08-03 13:47:54] 609*2^1520277-1 is not prime. Res64: C731F88DE641F46B Time : 0.0 sec. user=mdettweiler [2018-08-03 13:47:55] 709*2^1520277-1 is not prime. Res64: 5367104C02097558 Time : 0.0 sec. user=mdettweiler [2018-08-03 13:47:55] 817*2^1520277-1 is not prime. Res64: 405E7D1FFE844FC6 Time : 0.0 sec. user=mdettweiler [2018-08-03 13:47:55] 831*2^1520277-1 is not prime. Res64: E0F616A68A6DC677 Time : 0.0 sec. user=mdettweiler [2018-08-03 13:47:56] 621*2^1520278-1 is not prime. Res64: 6082EF9D3E9F6089 Time : 0.0 sec. user=mdettweiler [2018-08-03 14:18:56] 831*2^1520278-1 is not prime. Res64: FD529EFE460303BD Time : 0.0 sec. user=mdettweiler [2018-08-03 14:18:57] 857*2^1520278-1 is not prime. Res64: B99952AD386C4296 Time : 0.0 sec. user=mdettweiler [2018-08-03 14:18:57] 615*2^1520279-1 is not prime. Res64: 9C4829E7CB2E4F9A Time : 0.0 sec. user=mdettweiler [2018-08-03 14:18:57] 619*2^1520279-1 is not prime. Res64: 66E28952047A4FE2 Time : 0.0 sec. user=mdettweiler [2018-08-03 14:18:58] 693*2^1520279-1 is not prime. Res64: 3E79FF9A1B9664FF Time : 0.0 sec. user=mdettweiler [2018-08-03 14:24:19] 829*2^1520279-1 is not prime. Res64: 8CA45FCC6A41A4CE Time : 0.0 sec. user=mdettweiler [2018-08-03 14:24:20] 675*2^1520280-1 is not prime. Res64: 34D6D3D56E154D90 Time : 0.0 sec. user=mdettweiler [2018-08-03 14:24:21] 773*2^1520280-1 is not prime. Res64: C0A3C1BD883FCC26 Time : 0.0 sec. user=mdettweiler [2018-08-03 14:24:21] 797*2^1520280-1 is not prime. Res64: 15F088F41219EC90 Time : 0.0 sec. user=mdettweiler [2018-08-03 14:24:22] 809*2^1520280-1 is not prime. Res64: 71AC4BA1BE392764 Time : 0.0 sec. user=mdettweiler [2018-08-03 14:28:02] 819*2^1520280-1 is not prime. Res64: D2003384836A0FB1 Time : 0.0 sec. user=mdettweiler [2018-08-03 14:28:03] 915*2^1520280-1 is not prime. Res64: 580067535B3DAE07 Time : 0.0 sec. user=mdettweiler [2018-08-03 14:28:03] 945*2^1520280-1 is not prime. Res64: C89BDC1B24F807B4 Time : 0.0 sec. user=mdettweiler [2018-08-03 14:28:04] 691*2^1520281-1 is not prime. Res64: A647F62FBB30E35C Time : 0.0 sec. user=mdettweiler [2018-08-03 14:28:04] 975*2^1520281-1 is not prime. Res64: 53CD5AB9448BA308 Time : 0.0 sec. user=mdettweiler [2018-08-03 14:40:44] 645*2^1520282-1 is not prime. Res64: C3AC35902503810D Time : 0.0 sec. user=mdettweiler [2018-08-03 14:40:44] 665*2^1520282-1 is not prime. Res64: 7FECF87DA373452A Time : 0.0 sec. user=mdettweiler [2018-08-03 14:40:45] 701*2^1520282-1 is not prime. Res64: 27C2FBAB4ACBCEF8 Time : 0.0 sec. user=mdettweiler [2018-08-03 14:40:45] 797*2^1520282-1 is not prime. Res64: 7C966077754D233C Time : 0.0 sec. user=mdettweiler [2018-08-03 14:40:45] 825*2^1520282-1 is not prime. Res64: 3284804FE58273DF Time : 0.0 sec. user=mdettweiler [2018-08-03 15:13:09] 843*2^1520282-1 is not prime. Res64: 7746EC845D0DDC67 Time : 0.0 sec. user=mdettweiler [2018-08-03 15:13:09] 911*2^1520282-1 is not prime. Res64: 1DF3637F78AABAD1 Time : 0.0 sec. user=mdettweiler [2018-08-03 15:13:10] 879*2^1520283-1 is not prime. Res64: B5C989D9A8558AE8 Time : 0.0 sec. user=mdettweiler [2018-08-03 15:13:10] 605*2^1520284-1 is not prime. Res64: DA4F4E89CBB3070F Time : 0.0 sec. user=mdettweiler [2018-08-03 15:13:11] 617*2^1520284-1 is not prime. Res64: B6F275A821E72074 Time : 0.0 sec. user=mdettweiler [2018-08-03 15:20:00] 717*2^1520284-1 is not prime. Res64: B98CBCBE53AC36B7 Time : 0.0 sec. user=mdettweiler [2018-08-03 15:20:00] 719*2^1520284-1 is not prime. Res64: 7F683E9B0D204348 Time : 0.0 sec. user=mdettweiler [2018-08-03 15:20:01] 897*2^1520284-1 is not prime. Res64: D6C0D3AE03E991EA Time : 0.0 sec. user=mdettweiler [2018-08-03 15:20:01] 987*2^1520284-1 is not prime. Res64: 8AF8F8649DFBCF7C Time : 0.0 sec. user=mdettweiler [2018-08-03 15:20:02] 697*2^1520285-1 is not prime. Res64: 495791E08FFF9C57 Time : 0.0 sec. user=mdettweiler [2018-08-03 15:22:21] 717*2^1520285-1 is not prime. Res64: C7C9D983107AD6F4 Time : 0.0 sec. user=mdettweiler [2018-08-03 15:22:21] 727*2^1520285-1 is not prime. Res64: 011269DF8814205E Time : 0.0 sec. user=mdettweiler [2018-08-03 15:22:21] 759*2^1520285-1 is not prime. Res64: 49F71299C2AF17A5 Time : 0.0 sec. user=mdettweiler [2018-08-03 15:22:22] 771*2^1520285-1 is not prime. Res64: 09644B81EB7DA804 Time : 0.0 sec. user=mdettweiler [2018-08-03 15:22:22] 789*2^1520285-1 is not prime. Res64: A791C95E8645F48B Time : 0.0 sec. user=mdettweiler [2018-08-03 15:37:24] 861*2^1520285-1 is not prime. Res64: 67A1B2309F1B7933 Time : 0.0 sec. user=mdettweiler [2018-08-03 15:37:25] 615*2^1520286-1 is not prime. Res64: 8111755B165534AA Time : 0.0 sec. user=mdettweiler [2018-08-03 15:37:25] 647*2^1520286-1 is not prime. Res64: EAFE2556C6637EAB Time : 0.0 sec. user=mdettweiler [2018-08-03 15:37:26] 711*2^1520286-1 is not prime. Res64: F7AD63889E14A047 Time : 0.0 sec. user=mdettweiler [2018-08-03 15:37:26] 755*2^1520286-1 is not prime. Res64: C365BCB94F6B7EA8 Time : 0.0 sec. user=mdettweiler [2018-08-03 16:02:57] 717*2^1520290-1 is not prime. Res64: 56D9F877B74189B4 Time : 0.0 sec. user=mdettweiler [2018-08-03 16:05:19] 815*2^1520286-1 is not prime. Res64: FA6CDC94B978BBDB Time : 0.0 sec. user=mdettweiler [2018-08-03 16:05:20] 609*2^1520287-1 is not prime. Res64: 902D0888C5EBC334 Time : 0.0 sec. user=mdettweiler [2018-08-03 16:05:21] 645*2^1520287-1 is not prime. Res64: 2426768A07DC0623 Time : 0.0 sec. user=mdettweiler [2018-08-03 16:05:22] 693*2^1520287-1 is not prime. Res64: 68DF1491BC8EDA64 Time : 0.0 sec. user=mdettweiler [2018-08-03 16:05:23] 759*2^1520287-1 is not prime. Res64: 01DD8DB834894136 Time : 0.0 sec. user=mdettweiler [2018-08-03 16:14:42] 827*2^1520288-1 is not prime. Res64: DF2CC75D564553EC Time : 0.0 sec. user=mdettweiler [2018-08-03 16:14:43] 897*2^1520288-1 is not prime. Res64: 369EAF0D0AE2A651 Time : 0.0 sec. user=mdettweiler [2018-08-03 16:14:43] 915*2^1520288-1 is not prime. Res64: B19371A62ECA70B6 Time : 0.0 sec. user=mdettweiler [2018-08-03 16:14:44] 657*2^1520289-1 is not prime. Res64: 6A21233DF03E5BED Time : 0.0 sec. user=mdettweiler [2018-08-03 16:14:44] 741*2^1520289-1 is not prime. Res64: 0A6CEA1112839FDF Time : 0.0 sec. user=mdettweiler [2018-08-03 16:17:08] 859*2^1520287-1 is not prime. Res64: FDA460AB1FB07C36 Time : 0.0 sec. user=mdettweiler [2018-08-03 16:17:08] 635*2^1520288-1 is not prime. Res64: A645DE8932A5CFB3 Time : 0.0 sec. user=mdettweiler [2018-08-03 16:17:08] 677*2^1520288-1 is not prime. Res64: 1F3D466330B7078A Time : 0.0 sec. user=mdettweiler [2018-08-03 16:17:09] 687*2^1520288-1 is not prime. Res64: B0F89989C54170AA Time : 0.0 sec. user=mdettweiler [2018-08-03 16:17:09] 753*2^1520288-1 is not prime. Res64: 681F2B0350F1880E Time : 0.0 sec. user=mdettweiler [2018-08-03 16:30:06] 747*2^1520289-1 is not prime. Res64: E16693600F1E6B28 Time : 0.0 sec. user=mdettweiler [2018-08-03 16:30:06] 865*2^1520289-1 is not prime. Res64: 7A5B9CEE77CCACC9 Time : 0.0 sec. user=mdettweiler [2018-08-03 16:30:06] 975*2^1520289-1 is not prime. Res64: E95AA5A0C7DEE5DD Time : 0.0 sec. user=mdettweiler [2018-08-03 16:30:07] 653*2^1520290-1 is not prime. Res64: 3FC965FAC3F95D3E Time : 0.0 sec. user=mdettweiler [2018-08-03 16:30:07] 681*2^1520290-1 is not prime. Res64: 4FDC4E3447BD450B Time : 0.0 sec. user=mdettweiler [2018-08-03 16:56:56] 825*2^1520290-1 is not prime. Res64: 67EA25BEB6B4BC6B Time : 0.0 sec. user=mdettweiler [2018-08-03 16:56:57] 915*2^1520290-1 is not prime. Res64: 2AF6E3CCD684E89C Time : 0.0 sec. user=mdettweiler [2018-08-03 16:56:57] 917*2^1520290-1 is not prime. Res64: DF58575330BEC85F Time : 0.0 sec. user=mdettweiler [2018-08-03 16:56:57] 759*2^1520291-1 is not prime. Res64: 9CACDF7366D91B9C Time : 0.0 sec. user=mdettweiler [2018-08-03 16:56:58] 783*2^1520291-1 is not prime. Res64: 8A6DE4716164ED16 Time : 0.0 sec. user=mdettweiler [2018-08-03 17:06:31] 993*2^1520291-1 is not prime. Res64: CFBFA123C7FF680B Time : 0.0 sec. user=mdettweiler [2018-08-03 17:06:32] 999*2^1520291-1 is not prime. Res64: 7CD0F94C7A436F3F Time : 0.0 sec. user=mdettweiler [2018-08-03 17:06:32] 719*2^1520292-1 is not prime. Res64: FC97306AB2BB7EBB Time : 0.0 sec. user=mdettweiler [2018-08-03 17:06:32] 725*2^1520292-1 is not prime. Res64: 0416E97955CCF8DA Time : 0.0 sec. user=mdettweiler [2018-08-03 17:06:33] 737*2^1520292-1 is not prime. Res64: 0235DFE72286D168 Time : 0.0 sec. user=mdettweiler [2018-08-03 17:08:29] 899*2^1520292-1 is not prime. Res64: D6F762D6A30126A6 Time : 0.0 sec. user=mdettweiler [2018-08-03 17:08:29] 983*2^1520292-1 is not prime. Res64: 17926F00489DB2A1 Time : 0.0 sec. user=mdettweiler [2018-08-03 17:08:30] 999*2^1520292-1 is not prime. Res64: E5A2E06A99733BB4 Time : 0.0 sec. user=mdettweiler [2018-08-03 17:08:30] 681*2^1520293-1 is not prime. Res64: BBD478B34C473408 Time : 0.0 sec. user=mdettweiler [2018-08-03 17:08:31] 691*2^1520293-1 is not prime. Res64: 1EEE000886CDB6FF Time : 0.0 sec. user=mdettweiler [2018-08-03 17:21:49] 919*2^1520293-1 is not prime. Res64: 34AB03FAFC91522E Time : 0.0 sec. user=mdettweiler [2018-08-03 17:21:49] 785*2^1520294-1 is not prime. Res64: 6458CF37E674D5C9 Time : 0.0 sec. user=mdettweiler [2018-08-03 17:21:50] 917*2^1520294-1 is not prime. Res64: FB3D51B436D83D8A Time : 0.0 sec. user=mdettweiler [2018-08-03 17:21:50] 945*2^1520294-1 is not prime. Res64: AD112CD752CFAE6C Time : 0.0 sec. user=mdettweiler [2018-08-03 17:21:50] 705*2^1520295-1 is not prime. Res64: 3FA67EFE4D859B05 Time : 0.0 sec. user=mdettweiler [2018-08-03 17:47:53] 819*2^1520295-1 is not prime. Res64: 4F453216516CC54A Time : 0.0 sec. user=mdettweiler [2018-08-03 17:47:54] 823*2^1520295-1 is not prime. Res64: BE035C72DEBF83C1 Time : 0.0 sec. user=mdettweiler [2018-08-03 17:47:54] 949*2^1520295-1 is not prime. Res64: 14BB976345404F9D Time : 0.0 sec. user=mdettweiler [2018-08-03 17:47:54] 951*2^1520295-1 is not prime. Res64: DACE4972E33BD746 Time : 0.0 sec. user=mdettweiler [2018-08-03 17:47:55] 609*2^1520296-1 is not prime. Res64: B553F4BB932A61C0 Time : 0.0 sec. user=mdettweiler [2018-08-03 17:58:13] 693*2^1520296-1 is not prime. Res64: 90BE6B11E3B179CB Time : 0.0 sec. user=mdettweiler [2018-08-03 17:58:14] 735*2^1520296-1 is not prime. Res64: 3F2F52DBE34EB74F Time : 0.0 sec. user=mdettweiler [2018-08-03 17:58:14] 833*2^1520296-1 is not prime. Res64: 9E52D6C1086E57DD Time : 0.0 sec. user=mdettweiler [2018-08-03 17:58:14] 849*2^1520296-1 is not prime. Res64: 0DE9AA0ED52D223A Time : 0.0 sec. user=mdettweiler [2018-08-03 17:58:15] 957*2^1520296-1 is not prime. Res64: 6A2501E4DFFDE88D Time : 0.0 sec. user=mdettweiler [2018-08-03 18:00:26] 645*2^1520297-1 is not prime. Res64: 6D7443330EA62E9B Time : 0.0 sec. user=mdettweiler [2018-08-03 18:00:27] 669*2^1520297-1 is not prime. Res64: 5E673C3A1B09095E Time : 0.0 sec. user=mdettweiler [2018-08-03 18:00:28] 675*2^1520297-1 is not prime. Res64: 1EA5E59C08AA7CB4 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:00:28] 741*2^1520297-1 is not prime. Res64: E34BE63066E69D3A Time : 0.0 sec. user=mdettweiler [2018-08-03 18:00:29] 747*2^1520297-1 is not prime. Res64: 4CCCB5D9355CAF68 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:13:18] 769*2^1520297-1 is not prime. Res64: 448630886778F044 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:13:18] 795*2^1520297-1 is not prime. Res64: E15166085B357C7A Time : 0.0 sec. user=mdettweiler [2018-08-03 18:13:18] 865*2^1520297-1 is not prime. Res64: 3D6DEBEC15AA99E9 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:13:19] 773*2^1520298-1 is not prime. Res64: 29C0B576082F7CB5 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:13:19] 815*2^1520298-1 is not prime. Res64: ABFA464B9CA24B8A Time : 0.0 sec. user=mdettweiler [2018-08-03 18:43:13] 867*2^1520298-1 is not prime. Res64: 54704C78E5EC5FE0 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:43:14] 993*2^1520298-1 is not prime. Res64: A354330797714DB1 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:43:14] 619*2^1520299-1 is not prime. Res64: 853771E5B622AB21 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:43:14] 625*2^1520299-1 is not prime. Res64: 16BB7BE5E0DC76F6 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:43:15] 649*2^1520299-1 is not prime. Res64: 78815724D383F1B9 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:51:12] 663*2^1520299-1 is not prime. Res64: F4F56294E640180E Time : 0.0 sec. user=mdettweiler [2018-08-03 18:51:12] 723*2^1520299-1 is not prime. Res64: DBC5DA78E40C9822 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:51:13] 855*2^1520299-1 is not prime. Res64: 329795B9BEA1AB93 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:51:13] 975*2^1520299-1 is not prime. Res64: 104B746C02688FCF Time : 0.0 sec. user=mdettweiler [2018-08-03 18:51:13] 629*2^1520300-1 is not prime. Res64: C77F5856C0771115 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:52:41] 635*2^1520300-1 is not prime. Res64: 89F55F302C880012 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:52:41] 665*2^1520300-1 is not prime. Res64: 41E8DFA9C0EB9528 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:52:41] 699*2^1520300-1 is not prime. Res64: 46DB40AE502A8128 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:52:42] 855*2^1520300-1 is not prime. Res64: 8C4E8C9B64A72F61 Time : 0.0 sec. user=mdettweiler [2018-08-03 18:52:42] 927*2^1520300-1 is not prime. Res64: FB555B5EBDD37227 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:06:40] 963*2^1520300-1 is not prime. Res64: 7A8C3BE88AC26561 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:06:41] 977*2^1520300-1 is not prime. Res64: 8FC33B213BB62220 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:06:42] 735*2^1520301-1 is not prime. Res64: 19728927CB6C7FFD Time : 0.0 sec. user=mdettweiler [2018-08-03 19:06:43] 747*2^1520301-1 is not prime. Res64: 2C4F9F7A1ADBD92B Time : 0.0 sec. user=mdettweiler [2018-08-03 19:06:44] 861*2^1520301-1 is not prime. Res64: 9983401208A36E8E Time : 0.0 sec. user=mdettweiler [2018-08-03 19:34:49] 871*2^1520301-1 is not prime. Res64: C560A247735A6328 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:34:49] 895*2^1520301-1 is not prime. Res64: A51A590A20F7DF0B Time : 0.0 sec. user=mdettweiler [2018-08-03 19:34:50] 907*2^1520301-1 is not prime. Res64: 31E70E586F72304B Time : 0.0 sec. user=mdettweiler [2018-08-03 19:34:50] 937*2^1520301-1 is not prime. Res64: AA40CD64662AA958 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:34:51] 951*2^1520301-1 is not prime. Res64: 5D0C5DF15C8936CB Time : 0.0 sec. user=mdettweiler [2018-08-03 19:44:29] 997*2^1520301-1 is not prime. Res64: DB9D1E1ED0D7AC5E Time : 0.0 sec. user=mdettweiler [2018-08-03 19:44:29] 999*2^1520301-1 is not prime. Res64: 0B6C8B88A69419D8 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:44:30] 621*2^1520302-1 is not prime. Res64: 421C13C47D94446B Time : 0.0 sec. user=mdettweiler [2018-08-03 19:44:30] 653*2^1520302-1 is not prime. Res64: BA54B5883DA39184 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:44:30] 915*2^1520302-1 is not prime. Res64: 9CB23D5FBC17FE55 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:44:33] 917*2^1520302-1 is not prime. Res64: 764E113B9BBEB666 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:44:34] 983*2^1520302-1 is not prime. Res64: FAC8AC6C2465DF6D Time : 0.0 sec. user=mdettweiler [2018-08-03 19:44:34] 693*2^1520303-1 is not prime. Res64: 1C6FDA6EFBF0C0D1 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:44:34] 715*2^1520303-1 is not prime. Res64: 4AA3683E26DAC382 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:44:35] 721*2^1520303-1 is not prime. Res64: B047C801A14F9729 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:59:26] 741*2^1520303-1 is not prime. Res64: B85A754059287ECE Time : 0.0 sec. user=mdettweiler [2018-08-03 19:59:26] 759*2^1520303-1 is not prime. Res64: BF8209E744DD3102 Time : 0.0 sec. user=mdettweiler [2018-08-03 19:59:27] 775*2^1520303-1 is not prime. Res64: CB9BF1D3C77D24AA Time : 0.0 sec. user=mdettweiler [2018-08-03 19:59:28] 823*2^1520303-1 is not prime. Res64: 13A75D0CE88B87BC Time : 0.0 sec. user=mdettweiler [2018-08-03 19:59:28] 885*2^1520303-1 is not prime. Res64: DC2E981EB0E58D9C Time : 0.0 sec. user=mdettweiler [2018-08-03 20:26:30] 921*2^1520303-1 is not prime. Res64: 2EA5E23ABD6F4763 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:26:31] 609*2^1520304-1 is not prime. Res64: 97010FF5E5F73656 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:26:31] 623*2^1520304-1 is not prime. Res64: B4DC089FD86895B1 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:26:31] 723*2^1520304-1 is not prime. Res64: 1A465F43BA6CE4E1 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:26:32] 759*2^1520304-1 is not prime. Res64: C622E235F6228C40 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:36:17] 837*2^1520304-1 is not prime. Res64: CCF4D130F393D463 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:36:17] 905*2^1520304-1 is not prime. Res64: D30E53DFE072B5F0 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:36:18] 601*2^1520305-1 is not prime. Res64: CBC131C528387328 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:36:18] 645*2^1520305-1 is not prime. Res64: DFA4CFF1E6CA25A1 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:36:19] 691*2^1520305-1 is not prime. Res64: 47D0AF6015D2C46F Time : 0.0 sec. user=mdettweiler [2018-08-03 20:38:22] 729*2^1520305-1 is not prime. Res64: E76E31E4850BA864 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:38:22] 847*2^1520305-1 is not prime. Res64: 5B6B263FFCC6954B Time : 0.0 sec. user=mdettweiler [2018-08-03 20:38:22] 861*2^1520305-1 is not prime. Res64: E10EDC0612933782 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:38:23] 885*2^1520305-1 is not prime. Res64: 9904C81758047013 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:38:23] 895*2^1520305-1 is not prime. Res64: B9BF487695838937 Time : 0.0 sec. user=mdettweiler [2018-08-03 20:50:54] 909*2^1520305-1 is not prime. Res64: 0E0A8D8DCF39BC7D Time : 0.0 sec. user=mdettweiler [2018-08-03 20:50:55] 951*2^1520305-1 is not prime. Res64: 6966871F9E2179DA Time : 0.0 sec. user=mdettweiler [2018-08-03 20:50:55] 955*2^1520305-1 is not prime. Res64: E4A53801EBF0A15B Time : 0.0 sec. user=mdettweiler [2018-08-03 20:50:56] 981*2^1520305-1 is not prime. Res64: 788623DD56D8703B Time : 0.0 sec. user=mdettweiler [2018-08-03 20:50:56] 675*2^1520306-1 is not prime. Res64: 9B437152558825D5 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:18:33] 717*2^1520306-1 is not prime. Res64: 2A14A31EC4224EFA Time : 0.0 sec. user=mdettweiler [2018-08-03 21:18:33] 743*2^1520306-1 is not prime. Res64: 253C7BA88C6A0945 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:18:34] 873*2^1520306-1 is not prime. Res64: E9593CD4621CCB23 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:18:34] 893*2^1520306-1 is not prime. Res64: B399750D88559C09 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:18:35] 1001*2^1520306-1 is not prime. Res64: 692358EAB8C011E9 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:29:27] 643*2^1520307-1 is not prime. Res64: FED0176410F5DC33 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:29:28] 649*2^1520307-1 is not prime. Res64: E66DDC956AB7FE32 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:29:28] 793*2^1520307-1 is not prime. Res64: 96E18FE97C639BA6 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:29:29] 871*2^1520307-1 is not prime. Res64: 1FBBB43DE60DBA72 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:29:29] 885*2^1520307-1 is not prime. Res64: 3290DF383EB8D77A Time : 0.0 sec. user=mdettweiler [2018-08-03 21:31:27] 895*2^1520307-1 is not prime. Res64: EA67D5B47B174CDE Time : 0.0 sec. user=mdettweiler [2018-08-03 21:31:28] 955*2^1520307-1 is not prime. Res64: 53E228DCE0BDEB42 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:31:28] 979*2^1520307-1 is not prime. Res64: DA61C260D2722AA7 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:31:28] 615*2^1520308-1 is not prime. Res64: 8350EE50377495C2 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:31:29] 783*2^1520308-1 is not prime. Res64: 900DA72E245B2416 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:46:31] 819*2^1520308-1 is not prime. Res64: 43FA72C4CC9AD92D Time : 0.0 sec. user=mdettweiler [2018-08-03 21:46:31] 927*2^1520308-1 is not prime. Res64: E47A9154CCC7ADEF Time : 0.0 sec. user=mdettweiler [2018-08-03 21:46:31] 627*2^1520309-1 is not prime. Res64: AB7B59F71D4463EA Time : 0.0 sec. user=mdettweiler [2018-08-03 21:46:32] 997*2^1520309-1 is not prime. Res64: 8B5A02FA6E3BE2A9 Time : 0.0 sec. user=mdettweiler [2018-08-03 21:46:32] 651*2^1520310-1 is not prime. Res64: 9D62940020F703E0 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:17:44] 765*2^1520310-1 is not prime. Res64: A083975F3D7F6C04 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:17:45] 885*2^1520310-1 is not prime. Res64: 2E18ECC4B290E10D Time : 0.0 sec. user=mdettweiler [2018-08-03 22:17:45] 887*2^1520310-1 is not prime. Res64: F63CCCE6103D67C2 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:17:45] 927*2^1520310-1 is not prime. Res64: F5020FAFB7E023F7 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:17:46] 645*2^1520311-1 is not prime. Res64: 328019836661AA2E Time : 0.0 sec. user=mdettweiler [2018-08-03 22:23:11] 703*2^1520311-1 is not prime. Res64: F37EADEAE43F4C75 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:23:11] 841*2^1520311-1 is not prime. Res64: 627C04B1DAC9B624 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:23:12] 951*2^1520311-1 is not prime. Res64: 361F69A92F998530 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:23:12] 973*2^1520311-1 is not prime. Res64: 037A54716886F1B3 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:23:13] 635*2^1520312-1 is not prime. Res64: F5DBF1E718696F15 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:25:09] 677*2^1520312-1 is not prime. Res64: C249DE8C1B5DA716 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:25:10] 735*2^1520312-1 is not prime. Res64: 114C6F0DE1A6E80A Time : 0.0 sec. user=mdettweiler [2018-08-03 22:25:10] 785*2^1520312-1 is not prime. Res64: 89C8925653574914 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:25:11] 803*2^1520312-1 is not prime. Res64: 3CDC68BBA998624A Time : 0.0 sec. user=mdettweiler [2018-08-03 22:25:11] 615*2^1520313-1 is not prime. Res64: FF9DE522E11860EC Time : 0.0 sec. user=mdettweiler [2018-08-03 22:40:07] 721*2^1520313-1 is not prime. Res64: 3C470D192391AF99 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:40:07] 735*2^1520313-1 is not prime. Res64: 860425BF4BE94CB4 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:40:07] 751*2^1520313-1 is not prime. Res64: A302AA4FA734101C Time : 0.0 sec. user=mdettweiler [2018-08-03 22:40:08] 861*2^1520313-1 is not prime. Res64: CCC1F219971F8A60 Time : 0.0 sec. user=mdettweiler [2018-08-03 22:40:08] 635*2^1520314-1 is not prime. Res64: E04A2CABD04C3151 Time : 0.0 sec. user=mdettweiler [2018-08-03 23:09:04] 665*2^1520314-1 is not prime. Res64: 4A358E1DD598DD18 Time : 0.0 sec. user=mdettweiler [2018-08-03 23:09:04] 791*2^1520314-1 is not prime. Res64: CA5DDFD9C6281163 Time : 0.0 sec. user=mdettweiler [2018-08-03 23:09:05] 857*2^1520314-1 is not prime. Res64: C0FF4BCDA310EA2E Time : 0.0 sec. user=mdettweiler [2018-08-03 23:09:05] 923*2^1520314-1 is not prime. Res64: 51AF904DA7F27C3B Time : 0.0 sec. user=mdettweiler [2018-08-03 23:09:06] 957*2^1520314-1 is not prime. Res64: C1812F3A4FCA2E1F Time : 0.0 sec. user=mdettweiler [2018-08-03 23:14:55] 739*2^1520315-1 is not prime. Res64: 6E002A32E30C69E2 Time : 0.0 sec. user=mdettweiler [2018-08-03 23:14:55] 741*2^1520315-1 is not prime. Res64: 57DD8068EA890B5D Time : 0.0 sec. user=mdettweiler [2018-08-03 23:14:55] 753*2^1520315-1 is not prime. Res64: 3E0D47DDFB90EFCB Time : 0.0 sec. user=mdettweiler [2018-08-03 23:14:56] 855*2^1520315-1 is not prime. Res64: 9595423E309CC5C4 Time : 0.0 sec. user=mdettweiler [2018-08-03 23:14:56] 885*2^1520315-1 is not prime. Res64: 549EE5B5C5FDA717 Time : 0.0 sec. user=mdettweiler [2018-08-03 23:16:41] 943*2^1520315-1 is not prime. Res64: 00C8BD3057A1E44E Time : 0.0 sec. user=mdettweiler [2018-08-03 23:16:41] 623*2^1520316-1 is not prime. Res64: 9423B1EA46CB17F1 Time : 0.0 sec. user=mdettweiler [2018-08-03 23:16:42] 707*2^1520316-1 is not prime. Res64: EFEFD857364B745C Time : 0.0 sec. user=mdettweiler [2018-08-03 23:16:42] 737*2^1520316-1 is not prime. Res64: E4C15A9195E6A1C0 Time : 0.0 sec. user=mdettweiler [2018-08-03 23:16:43] 773*2^1520316-1 is not prime. Res64: CD2A9B600865E7C7 Time : 0.0 sec. user=mdettweiler [2018-08-03 23:31:18] 783*2^1520316-1 is not prime. Res64: 8BCEFF784709CF4F Time : 0.0 sec. user=mdettweiler [2018-08-03 23:31:19] 809*2^1520316-1 is not prime. Res64: 54EED4C86F196A1F Time : 0.0 sec. user=mdettweiler [2018-08-03 23:31:19] 867*2^1520316-1 is not prime. Res64: C1F1E38B97BEDD1B Time : 0.0 sec. user=mdettweiler [2018-08-03 23:31:19] 625*2^1520317-1 is not prime. Res64: 754C681FCDD3DDAF Time : 0.0 sec. user=mdettweiler [2018-08-03 23:31:20] 645*2^1520317-1 is not prime. Res64: 6E69A7F4DA9C596B Time : 0.0 sec.