user=mdettweiler [2015-08-01 00:16:44] 765*2^1404918-1 is not prime. Res64: F329579CE8EACCDA Time : 0.0 sec. user=mdettweiler [2015-08-01 00:16:45] 825*2^1404918-1 is not prime. Res64: 515DF502D6C83C3D Time : 0.0 sec. user=mdettweiler [2015-08-01 00:16:52] 843*2^1404918-1 is not prime. Res64: D7269271365F56E9 Time : 0.0 sec. user=mdettweiler [2015-08-01 00:16:53] 861*2^1404918-1 is not prime. Res64: B304AD9D866637A7 Time : 0.0 sec. user=mdettweiler [2015-08-01 00:17:13] 927*2^1404918-1 is not prime. Res64: DEF7D609C29847DF Time : 0.0 sec. user=mdettweiler [2015-08-01 00:17:13] 957*2^1404918-1 is not prime. Res64: C2C0D4649EF1AC63 Time : 0.0 sec. user=mdettweiler [2015-08-01 00:18:01] 931*2^1404919-1 is not prime. Res64: 18492C2F264C466F Time : 0.0 sec. user=mdettweiler [2015-08-01 00:18:01] 609*2^1404920-1 is not prime. Res64: 3C63B29FE45EC961 Time : 0.0 sec. user=mdettweiler [2015-08-01 00:34:56] 719*2^1404920-1 is not prime. Res64: A56B056229F5F49A Time : 0.0 sec. user=mdettweiler [2015-08-01 00:34:56] 735*2^1404920-1 is not prime. Res64: 1191516B90D6D928 Time : 0.0 sec. user=mdettweiler [2015-08-01 00:35:00] 827*2^1404920-1 is not prime. Res64: EF663E54EF8837E6 Time : 0.0 sec. user=mdettweiler [2015-08-01 00:35:00] 857*2^1404920-1 is not prime. Res64: 6D5775D2234777FC Time : 0.0 sec. user=mdettweiler [2015-08-01 00:35:14] 637*2^1404921-1 is not prime. Res64: 599807E78070228F Time : 0.0 sec. user=mdettweiler [2015-08-01 00:35:15] 681*2^1404921-1 is not prime. Res64: 618B495C394DD24B Time : 0.0 sec. user=mdettweiler [2015-08-01 00:36:08] 741*2^1404921-1 is not prime. Res64: 38087B1670CB07EC Time : 0.0 sec. user=mdettweiler [2015-08-01 00:36:08] 777*2^1404921-1 is not prime. Res64: 51602F675C3A2E43 Time : 0.0 sec. user=mdettweiler [2015-08-01 00:53:05] 921*2^1404921-1 is not prime. Res64: B7CBC98B4B286B94 Time : 0.0 sec. user=mdettweiler [2015-08-01 00:53:05] 949*2^1404921-1 is not prime. Res64: FB594EC61582A6C3 Time : 0.0 sec. user=mdettweiler [2015-08-01 00:53:09] 975*2^1404921-1 is not prime. Res64: 1BEAE46EDBB0956B Time : 0.0 sec. user=mdettweiler [2015-08-01 00:53:09] 617*2^1404922-1 is not prime. Res64: BF36D2A80BDF7F8B Time : 0.0 sec. user=mdettweiler [2015-08-01 00:53:28] 677*2^1404922-1 is not prime. Res64: 47229686D79C4431 Time : 0.0 sec. user=mdettweiler [2015-08-01 00:53:28] 681*2^1404922-1 is not prime. Res64: 9CE5F4A52FDD7CAD Time : 0.0 sec. user=mdettweiler [2015-08-01 00:54:17] 717*2^1404922-1 is not prime. Res64: 46A05293F4B9A59A Time : 0.0 sec. user=mdettweiler [2015-08-01 00:54:18] 723*2^1404922-1 is not prime. Res64: EBADD6D0A3F5496A Time : 0.0 sec. user=mdettweiler [2015-08-01 01:12:09] 917*2^1404922-1 is not prime. Res64: F8786A7ABF63AFFE Time : 0.0 sec. user=mdettweiler [2015-08-01 01:12:10] 951*2^1404922-1 is not prime. Res64: A4391C6C556D2997 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:12:13] 753*2^1404923-1 is not prime. Res64: CED1D0FEFE57E3A6 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:12:13] 781*2^1404923-1 is not prime. Res64: 23B6594963DAE6F7 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:12:14] 615*2^1404923-1 is not prime. Res64: 259711CBE14F6E34 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:12:14] 745*2^1404923-1 is not prime. Res64: E2A0868BC4D08F9D Time : 0.0 sec. user=mdettweiler [2015-08-01 01:13:40] 895*2^1404923-1 is not prime. Res64: 8539D6E48FBE2CB8 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:13:40] 629*2^1404924-1 is not prime. Res64: B5A5FD9508A89535 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:31:00] 741*2^1404925-1 is not prime. Res64: 857C6F9ADEE5B2BE Time : 0.0 sec. user=mdettweiler [2015-08-01 01:31:00] 955*2^1404925-1 is not prime. Res64: 6BEE4A184007A48D Time : 0.0 sec. user=mdettweiler [2015-08-01 01:31:16] 825*2^1404924-1 is not prime. Res64: B3C7F7486924C622 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:31:16] 993*2^1404924-1 is not prime. Res64: 963F1EBEB505A823 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:31:17] 609*2^1404925-1 is not prime. Res64: CD21B6EEBC15F936 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:31:17] 691*2^1404925-1 is not prime. Res64: D520DA885956B7D7 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:32:43] 957*2^1404925-1 is not prime. Res64: 28C8EF827A0C5F34 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:32:43] 623*2^1404926-1 is not prime. Res64: 8F86C7A8573E0728 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:50:04] 713*2^1404926-1 is not prime. Res64: FC4628DB1D03F5B1 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:50:04] 773*2^1404926-1 is not prime. Res64: E63C0FCE054226D5 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:50:06] 843*2^1404926-1 is not prime. Res64: 4E704AED8A68EBE2 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:50:06] 851*2^1404926-1 is not prime. Res64: 705B722FF2DD459C Time : 0.0 sec. user=mdettweiler [2015-08-01 01:50:20] 875*2^1404926-1 is not prime. Res64: 87852594B3A4E06C Time : 0.0 sec. user=mdettweiler [2015-08-01 01:50:21] 917*2^1404926-1 is not prime. Res64: A90C84A2B42CC0E9 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:52:02] 923*2^1404926-1 is not prime. Res64: 8C71B1D43E8D8061 Time : 0.0 sec. user=mdettweiler [2015-08-01 01:52:02] 941*2^1404926-1 is not prime. Res64: 91EC6C9D86C1060D Time : 0.0 sec. user=mdettweiler [2015-08-01 02:09:06] 705*2^1404927-1 is not prime. Res64: CF0DE9113E4AD6E7 Time : 0.0 sec. user=mdettweiler [2015-08-01 02:09:07] 751*2^1404927-1 is not prime. Res64: B9EB710D0586905B Time : 0.0 sec. user=mdettweiler [2015-08-01 02:09:13] 849*2^1404927-1 is not prime. Res64: E1C17CD559CCAD7C Time : 0.0 sec. user=mdettweiler [2015-08-01 02:09:13] 859*2^1404927-1 is not prime. Res64: 8EDAD0A82CEDF987 Time : 0.0 sec. user=mdettweiler [2015-08-01 02:09:18] 781*2^1404927-1 is not prime. Res64: B2C5D42C691E79AA Time : 0.0 sec. user=mdettweiler [2015-08-01 02:09:18] 805*2^1404927-1 is not prime. Res64: F76DE89162E9173B Time : 0.0 sec. user=mdettweiler [2015-08-01 02:10:52] 871*2^1404927-1 is not prime. Res64: 17CEC5C48EE665E0 Time : 0.0 sec. user=mdettweiler [2015-08-01 02:10:52] 931*2^1404927-1 is not prime. Res64: A23709FA03ECD086 Time : 0.0 sec. user=mdettweiler [2015-08-01 02:27:46] 649*2^1404929-1 is not prime. Res64: F423A2DA0E2DF506 Time : 0.0 sec. user=mdettweiler [2015-08-01 02:27:46] 961*2^1404927-1 is not prime. Res64: B1C89B86BE9F8628 Time : 0.0 sec. user=mdettweiler [2015-08-01 02:27:46] 721*2^1404929-1 is not prime. Res64: 7F20A060E70EAFA0 Time : 0.0 sec. user=mdettweiler [2015-08-01 02:27:46] 803*2^1404928-1 is not prime. Res64: 74138F57E7881F5B Time : 0.0 sec. user=mdettweiler [2015-08-01 02:28:05] 825*2^1404928-1 is not prime. Res64: 61DE6CAD43921AC6 Time : 0.0 sec. user=mdettweiler [2015-08-01 02:28:05] 923*2^1404928-1 is not prime. Res64: B9C64358F051595D Time : 0.0 sec. user=mdettweiler [2015-08-01 02:29:31] 729*2^1404929-1 is not prime. Res64: 695E3945BF53F6DB Time : 0.0 sec. user=mdettweiler [2015-08-01 02:29:32] 747*2^1404929-1 is not prime. Res64: 028D73F795F65354 Time : 0.0 sec. user=mdettweiler [2015-08-01 02:46:02] 771*2^1404929-1 is not prime. Res64: 72AEB285722C092F Time : 0.0 sec. user=mdettweiler [2015-08-01 02:46:02] 879*2^1404929-1 is not prime. Res64: EBAA120D18F61EAD Time : 0.0 sec. user=mdettweiler [2015-08-01 02:46:05] 951*2^1404929-1 is not prime. Res64: C734D0201C2C66AC Time : 0.0 sec. user=mdettweiler [2015-08-01 02:46:06] 695*2^1404930-1 is not prime. Res64: 9446DB7597EED439 Time : 0.0 sec. user=mdettweiler [2015-08-01 02:46:23] 711*2^1404930-1 is not prime. Res64: B8D350315A3E180E Time : 0.0 sec. user=mdettweiler [2015-08-01 02:46:23] 717*2^1404930-1 is not prime. Res64: 4020F77E1139BF8E Time : 0.0 sec. user=mdettweiler [2015-08-01 02:48:28] 725*2^1404930-1 is not prime. Res64: 2C495C892AB38D0B Time : 0.0 sec. user=mdettweiler [2015-08-01 02:48:29] 773*2^1404930-1 is not prime. Res64: 951F3A7A3F026924 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:05:14] 675*2^1404931-1 is not prime. Res64: 6A876EC44B678A07 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:05:15] 733*2^1404931-1 is not prime. Res64: A3BDA674585D66F0 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:05:29] 639*2^1404931-1 is not prime. Res64: 2FAA49FFFDABE1D3 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:05:30] 673*2^1404931-1 is not prime. Res64: 7A5F5433F62CEDEA Time : 0.0 sec. user=mdettweiler [2015-08-01 03:05:36] 769*2^1404931-1 is not prime. Res64: F0DC7C91A9CBCF18 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:05:37] 871*2^1404931-1 is not prime. Res64: 1C5F21FEB499436F Time : 0.0 sec. user=mdettweiler [2015-08-01 03:07:29] 889*2^1404931-1 is not prime. Res64: FEB944E528ABC8E4 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:07:29] 913*2^1404931-1 is not prime. Res64: F98EE859D23E93F9 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:23:25] 615*2^1404932-1 is not prime. Res64: 1AE9C8E00CADB77C Time : 0.0 sec. user=mdettweiler [2015-08-01 03:23:25] 683*2^1404932-1 is not prime. Res64: 1DC2E8F5F7F3A7FC Time : 0.0 sec. user=mdettweiler [2015-08-01 03:23:29] 693*2^1404932-1 is not prime. Res64: 56CD13A17071F26E Time : 0.0 sec. user=mdettweiler [2015-08-01 03:23:29] 699*2^1404932-1 is not prime. Res64: 09919796782C3CE0 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:23:30] 961*2^1404931-1 is not prime. Res64: 6F375C4DAF4DB6DA Time : 0.0 sec. user=mdettweiler [2015-08-01 03:23:30] 979*2^1404931-1 is not prime. Res64: 64E4B2DCC948C3DE Time : 0.0 sec. user=mdettweiler [2015-08-01 03:25:33] 743*2^1404932-1 is not prime. Res64: 088E2CA1EE084C7B Time : 0.0 sec. user=mdettweiler [2015-08-01 03:25:34] 785*2^1404932-1 is not prime. Res64: 696E56998984D53F Time : 0.0 sec. user=mdettweiler [2015-08-01 03:41:18] 795*2^1404933-1 is not prime. Res64: 51F61361B352E8D9 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:41:19] 819*2^1404933-1 is not prime. Res64: CE3D87EC55090583 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:41:19] 797*2^1404932-1 is not prime. Res64: 148CDCDBD1272A66 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:41:20] 681*2^1404933-1 is not prime. Res64: DB721301937C4835 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:41:21] 649*2^1404933-1 is not prime. Res64: 362BD8C3AF02AA8B Time : 0.0 sec. user=mdettweiler [2015-08-01 03:41:21] 759*2^1404933-1 is not prime. Res64: 2C49A0EFE81664DC Time : 0.0 sec. user=mdettweiler [2015-08-01 03:43:33] 961*2^1404933-1 is not prime. Res64: 28709B439B34A3DB Time : 0.0 sec. user=mdettweiler [2015-08-01 03:43:34] 999*2^1404933-1 is not prime. Res64: 9FEA8B442FED8269 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:59:02] 611*2^1404934-1 is not prime. Res64: 2EC425ACCDEC44FC Time : 0.0 sec. user=mdettweiler [2015-08-01 03:59:02] 681*2^1404934-1 is not prime. Res64: 50A32D748E4CF605 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:59:05] 915*2^1404934-1 is not prime. Res64: EDD3959FC98E706E Time : 0.0 sec. user=mdettweiler [2015-08-01 03:59:06] 947*2^1404934-1 is not prime. Res64: 3A88C340DEF9B676 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:59:17] 731*2^1404934-1 is not prime. Res64: B23EE4512EB0AE21 Time : 0.0 sec. user=mdettweiler [2015-08-01 03:59:18] 755*2^1404934-1 is not prime. Res64: 34F928949ADCC392 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:01:14] 957*2^1404934-1 is not prime. Res64: 41BE3922C752F913 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:01:15] 971*2^1404934-1 is not prime. Res64: 263A17978B96454F Time : 0.0 sec. user=mdettweiler [2015-08-01 04:16:42] 675*2^1404935-1 is not prime. Res64: 6083D62284DBC081 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:16:43] 741*2^1404935-1 is not prime. Res64: A53CA8E26E229541 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:16:51] 855*2^1404935-1 is not prime. Res64: 576935D9715FFE3D Time : 0.0 sec. user=mdettweiler [2015-08-01 04:16:52] 843*2^1404936-1 is not prime. Res64: 94A6C8A9A7F02660 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:16:57] 909*2^1404936-1 is not prime. Res64: ED19D94530165C1F Time : 0.0 sec. user=mdettweiler [2015-08-01 04:16:57] 687*2^1404937-1 is not prime. Res64: 748EED4BEEEEAF1D Time : 0.0 sec. user=mdettweiler [2015-08-01 04:19:02] 831*2^1404937-1 is not prime. Res64: 70DE0355730EE39D Time : 0.0 sec. user=mdettweiler [2015-08-01 04:19:02] 897*2^1404937-1 is not prime. Res64: E91E09AB53BCE8A2 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:34:26] 967*2^1404937-1 is not prime. Res64: 1F397A1F511FBC2E Time : 0.0 sec. user=mdettweiler [2015-08-01 04:34:26] 617*2^1404938-1 is not prime. Res64: 64E2A87E6671503D Time : 0.0 sec. user=mdettweiler [2015-08-01 04:34:40] 707*2^1404938-1 is not prime. Res64: C0EA961B536D0593 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:34:40] 885*2^1404938-1 is not prime. Res64: 581AD5E69FD3A38E Time : 0.0 sec. user=mdettweiler [2015-08-01 04:34:41] 927*2^1404938-1 is not prime. Res64: 0A2923DB0B164832 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:34:41] 971*2^1404938-1 is not prime. Res64: 89BB34BF5BC35A7F Time : 0.0 sec. user=mdettweiler [2015-08-01 04:36:52] 609*2^1404939-1 is not prime. Res64: 44519729E389C166 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:36:53] 621*2^1404939-1 is not prime. Res64: BA959BEE7B1246B5 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:52:09] 669*2^1404939-1 is not prime. Res64: ED0C56CB5FBEE851 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:52:09] 769*2^1404939-1 is not prime. Res64: 7A1EA0FDC10B2A56 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:52:24] 801*2^1404939-1 is not prime. Res64: 85B42A15BAC03232 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:52:24] 835*2^1404939-1 is not prime. Res64: 30F75A67E50A0439 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:52:28] 695*2^1404940-1 is not prime. Res64: 5410D6E0B615DFF9 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:52:28] 759*2^1404940-1 is not prime. Res64: A43E4B0D5AED2A3A Time : 0.0 sec. user=mdettweiler [2015-08-01 04:54:34] 923*2^1404940-1 is not prime. Res64: AEB8A52D1968C250 Time : 0.0 sec. user=mdettweiler [2015-08-01 04:54:35] 989*2^1404940-1 is not prime. Res64: 6A917FC7741AF472 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:09:56] 995*2^1404940-1 is not prime. Res64: 4CA3836467B5C1C9 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:09:57] 621*2^1404941-1 is not prime. Res64: 1716FFA367165AEB Time : 0.0 sec. user=mdettweiler [2015-08-01 05:10:09] 627*2^1404941-1 is not prime. Res64: B9E2A8F0397A9C5A Time : 0.0 sec. user=mdettweiler [2015-08-01 05:10:10] 657*2^1404941-1 is not prime. Res64: F14830821144D75A Time : 0.0 sec. user=mdettweiler [2015-08-01 05:10:10] 735*2^1404941-1 is not prime. Res64: 09ADB1F7AABD9DBB Time : 0.0 sec. user=mdettweiler [2015-08-01 05:10:10] 741*2^1404941-1 is not prime. Res64: F74E8AED57B54748 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:12:17] 885*2^1404941-1 is not prime. Res64: 321EAEFADB46FB05 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:12:17] 681*2^1404942-1 is not prime. Res64: 9C42FA3AC0129C9D Time : 0.0 sec. user=mdettweiler [2015-08-01 05:27:37] 723*2^1404942-1 is not prime. Res64: 99063A1800505658 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:27:37] 741*2^1404942-1 is not prime. Res64: AEF62D1F823EA744 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:27:50] 867*2^1404942-1 is not prime. Res64: DA3B51EE7C5AB6CF Time : 0.0 sec. user=mdettweiler [2015-08-01 05:27:50] 941*2^1404942-1 is not prime. Res64: 0E793F972C63B274 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:27:54] 765*2^1404942-1 is not prime. Res64: 7E941A1D41FCFC87 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:27:54] 863*2^1404942-1 is not prime. Res64: 24A4F4637878F0D5 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:29:58] 977*2^1404942-1 is not prime. Res64: FC5D030648DA1BA6 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:29:58] 675*2^1404943-1 is not prime. Res64: 2C97AD893B35AE05 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:45:21] 693*2^1404943-1 is not prime. Res64: 29A05B8387649F6E Time : 0.0 sec. user=mdettweiler [2015-08-01 05:45:21] 723*2^1404943-1 is not prime. Res64: C667D406F87F1912 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:45:36] 829*2^1404943-1 is not prime. Res64: D1140B9945A4D6D2 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:45:36] 891*2^1404943-1 is not prime. Res64: 53BC6032057696D0 Time : 0.0 sec. user=mdettweiler [2015-08-01 05:45:41] 999*2^1404943-1 is not prime. Res64: 3049FB63B4DBBFCF Time : 0.0 sec. user=mdettweiler [2015-08-01 05:45:42] 629*2^1404944-1 is not prime. Res64: AAB6254F3E9B3E8C Time : 0.0 sec. user=mdettweiler [2015-08-01 05:47:43] 755*2^1404944-1 is not prime. Res64: 6FE3C1A73DF274CD Time : 0.0 sec. user=mdettweiler [2015-08-01 05:47:43] 827*2^1404944-1 is not prime. Res64: 7194DAF228F48317 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:03:03] 833*2^1404944-1 is not prime. Res64: 3E68872EB9288B54 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:03:05] 959*2^1404944-1 is not prime. Res64: 5E65DF4508132A9B Time : 0.0 sec. user=mdettweiler [2015-08-01 06:03:22] 711*2^1404945-1 is not prime. Res64: 61705BB974240F69 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:03:24] 765*2^1404945-1 is not prime. Res64: 4B9BD6B711199976 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:03:26] 847*2^1404945-1 is not prime. Res64: 8B8C4BA09C7C85A9 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:03:27] 867*2^1404945-1 is not prime. Res64: 7F830A4CFDB9F1E9 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:05:25] 997*2^1404945-1 is not prime. Res64: D09BD094A3F6DB61 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:05:27] 623*2^1404946-1 is not prime. Res64: C067FB35FE2E4FCA Time : 0.0 sec. user=mdettweiler [2015-08-01 06:21:14] 843*2^1404946-1 is not prime. Res64: ADDE6B8A438E98ED Time : 0.0 sec. user=mdettweiler [2015-08-01 06:21:15] 917*2^1404946-1 is not prime. Res64: C10BC9527FF2272D Time : 0.0 sec. user=mdettweiler [2015-08-01 06:21:16] 773*2^1404946-1 is not prime. Res64: 5A9A5D8D6DFF6795 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:21:17] 777*2^1404946-1 is not prime. Res64: 39C8D8570FCE8184 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:21:17] 633*2^1404946-1 is not prime. Res64: 79D52782327E3048 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:21:18] 741*2^1404946-1 is not prime. Res64: FF65CDB24C558804 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:23:29] 941*2^1404946-1 is not prime. Res64: AB9FE794080E4436 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:23:29] 993*2^1404946-1 is not prime. Res64: 55D56D5B1A78C920 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:38:58] 1001*2^1404946-1 is not prime. Res64: 091C59272108C848 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:38:58] 631*2^1404947-1 is not prime. Res64: 7DF7A9C0B602CC5C Time : 0.0 sec. user=mdettweiler [2015-08-01 06:39:05] 825*2^1404947-1 is not prime. Res64: 6B75AF169F043CA9 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:39:06] 665*2^1404948-1 is not prime. Res64: 22934D1272DB06CF Time : 0.0 sec. user=mdettweiler [2015-08-01 06:39:07] 797*2^1404948-1 is not prime. Res64: E04B20E2F2B9E816 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:39:08] 933*2^1404948-1 is not prime. Res64: 20F02BBC5DD0FEA3 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:41:18] 945*2^1404948-1 is not prime. Res64: 8895C656286F643B Time : 0.0 sec. user=mdettweiler [2015-08-01 06:41:18] 615*2^1404949-1 is not prime. Res64: AF444C1399BB5274 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:56:41] 625*2^1404949-1 is not prime. Res64: 8B03EC586726E5EC Time : 0.0 sec. user=mdettweiler [2015-08-01 06:56:41] 801*2^1404949-1 is not prime. Res64: BE0103042684BFB3 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:56:43] 829*2^1404949-1 is not prime. Res64: 318888CE1C1B8C83 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:56:43] 847*2^1404949-1 is not prime. Res64: 98DE350753C18496 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:56:46] 677*2^1404950-1 is not prime. Res64: C04484B0DECA8DC9 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:56:46] 713*2^1404950-1 is not prime. Res64: 90E24876A5B1C604 Time : 0.0 sec. user=mdettweiler [2015-08-01 06:59:00] 753*2^1404950-1 is not prime. Res64: FEB3B0FC255B563C Time : 0.0 sec. user=mdettweiler [2015-08-01 06:59:00] 755*2^1404950-1 is not prime. Res64: 564379F0FBC7A0D1 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:14:24] 791*2^1404950-1 is not prime. Res64: 7B5DB545068501F8 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:14:25] 857*2^1404950-1 is not prime. Res64: 9D1ECF837FF492E6 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:14:27] 875*2^1404950-1 is not prime. Res64: 41FC4F0009DDD884 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:14:28] 915*2^1404950-1 is not prime. Res64: D6C2D97D098E5D6C Time : 0.0 sec. user=mdettweiler [2015-08-01 07:14:28] 1001*2^1404950-1 is not prime. Res64: 3FC168A3C020B347 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:14:28] 859*2^1404951-1 is not prime. Res64: 88A318F496C51858 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:16:48] 603*2^1404952-1 is not prime. Res64: C5F19253D7468C5F Time : 0.0 sec. user=mdettweiler [2015-08-01 07:16:48] 615*2^1404952-1 is not prime. Res64: C5D25000D114B5CF Time : 0.0 sec. user=mdettweiler [2015-08-01 07:32:14] 657*2^1404952-1 is not prime. Res64: 1B362923679D348A Time : 0.0 sec. user=mdettweiler [2015-08-01 07:32:14] 693*2^1404952-1 is not prime. Res64: E807054FCAA48DAB Time : 0.0 sec. user=mdettweiler [2015-08-01 07:32:15] 719*2^1404952-1 is not prime. Res64: 1F4F14784A6A208E Time : 0.0 sec. user=mdettweiler [2015-08-01 07:32:16] 735*2^1404952-1 is not prime. Res64: B5C329085CD8E0DA Time : 0.0 sec. user=mdettweiler [2015-08-01 07:32:28] 765*2^1404952-1 is not prime. Res64: AA222BB6500214BC Time : 0.0 sec. user=mdettweiler [2015-08-01 07:32:28] 827*2^1404952-1 is not prime. Res64: A82C6D25320BDF26 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:34:40] 909*2^1404952-1 is not prime. Res64: C8AE6ABFDD42A8E3 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:34:41] 939*2^1404952-1 is not prime. Res64: E43CB1F592149B7E Time : 0.0 sec. user=mdettweiler [2015-08-01 07:49:56] 965*2^1404952-1 is not prime. Res64: A6B248B0A9A5A968 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:49:57] 649*2^1404953-1 is not prime. Res64: 0640A05C56A64688 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:50:01] 795*2^1404953-1 is not prime. Res64: ECE92918A53B1F15 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:50:02] 945*2^1404953-1 is not prime. Res64: 303AA7E52E87C46A Time : 0.0 sec. user=mdettweiler [2015-08-01 07:50:11] 949*2^1404953-1 is not prime. Res64: 51C0DC5411368482 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:50:12] 621*2^1404954-1 is not prime. Res64: 694CE5726DC30A7E Time : 0.0 sec. user=mdettweiler [2015-08-01 07:52:24] 677*2^1404954-1 is not prime. Res64: 005E880E5AF55AA5 Time : 0.0 sec. user=mdettweiler [2015-08-01 07:52:24] 861*2^1404954-1 is not prime. Res64: 747BD799FA4F5456 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:07:34] 927*2^1404954-1 is not prime. Res64: 5D1C58353F089BB1 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:07:35] 975*2^1404954-1 is not prime. Res64: 233DAD58D71DB62F Time : 0.0 sec. user=mdettweiler [2015-08-01 08:07:42] 679*2^1404955-1 is not prime. Res64: A8D0FE5D55FBE2C8 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:07:42] 741*2^1404955-1 is not prime. Res64: E815E05930A702E8 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:07:52] 759*2^1404955-1 is not prime. Res64: 876CE92479E2000B Time : 0.0 sec. user=mdettweiler [2015-08-01 08:07:53] 859*2^1404955-1 is not prime. Res64: 40F22ED8E1B4E273 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:10:03] 999*2^1404955-1 is not prime. Res64: 1F1837838C1678F3 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:10:03] 839*2^1404956-1 is not prime. Res64: 5C9500B82CDE7C9E Time : 0.0 sec. user=mdettweiler [2015-08-01 08:25:21] 983*2^1404956-1 is not prime. Res64: 5DB9D5703EBF16EB Time : 0.0 sec. user=mdettweiler [2015-08-01 08:25:21] 849*2^1404957-1 is not prime. Res64: 667DBF58FF56F13B Time : 0.0 sec. user=mdettweiler [2015-08-01 08:25:31] 859*2^1404957-1 is not prime. Res64: 7092C11AE0193B21 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:25:32] 949*2^1404957-1 is not prime. Res64: A8E3E6E7CDAAD6D1 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:25:38] 651*2^1404958-1 is not prime. Res64: AFD6EC467CD53487 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:25:39] 705*2^1404958-1 is not prime. Res64: 88169D8C7FE303EE Time : 0.0 sec. user=mdettweiler [2015-08-01 08:27:53] 765*2^1404958-1 is not prime. Res64: C66D17CC80201E75 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:27:54] 821*2^1404958-1 is not prime. Res64: 90BACCF7BCE25A95 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:43:00] 825*2^1404958-1 is not prime. Res64: 563821DCCB7E6027 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:43:00] 831*2^1404958-1 is not prime. Res64: ED8FF077D29F556E Time : 0.0 sec. user=mdettweiler [2015-08-01 08:43:18] 941*2^1404958-1 is not prime. Res64: A4668A41257878D4 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:43:19] 897*2^1404958-1 is not prime. Res64: ED5C821B95CD2FD9 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:43:19] 987*2^1404958-1 is not prime. Res64: A887A33BFCA279DB Time : 0.0 sec. user=mdettweiler [2015-08-01 08:43:19] 923*2^1404958-1 is not prime. Res64: 5BFBCE70444C5CE6 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:45:32] 693*2^1404959-1 is not prime. Res64: CAF22E25ED6E15B0 Time : 0.0 sec. user=mdettweiler [2015-08-01 08:45:33] 775*2^1404959-1 is not prime. Res64: 67DC183932DFEE09 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:00:45] 853*2^1404959-1 is not prime. Res64: B3C946D945509070 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:00:46] 913*2^1404959-1 is not prime. Res64: B5EDA474479F00F9 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:00:59] 845*2^1404960-1 is not prime. Res64: 72EC8414D2F0F3CA Time : 0.0 sec. user=mdettweiler [2015-08-01 09:01:00] 857*2^1404960-1 is not prime. Res64: 6D462EF44C950F2E Time : 0.0 sec. user=mdettweiler [2015-08-01 09:01:02] 931*2^1404959-1 is not prime. Res64: 1BFB6B32C5FBE554 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:01:03] 627*2^1404960-1 is not prime. Res64: 086A3056571BEC8C Time : 0.0 sec. user=mdettweiler [2015-08-01 09:03:13] 607*2^1404961-1 is not prime. Res64: 998D535D05B60CC1 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:03:14] 717*2^1404961-1 is not prime. Res64: C2C3ABEE39B5D303 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:18:38] 751*2^1404961-1 is not prime. Res64: 91BA335C75ABC034 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:18:38] 789*2^1404961-1 is not prime. Res64: 440FB7C4CF340648 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:18:47] 801*2^1404961-1 is not prime. Res64: 739F892847249327 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:18:47] 817*2^1404961-1 is not prime. Res64: 805AC31442743E93 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:18:55] 925*2^1404961-1 is not prime. Res64: 7E8E9AAE22237348 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:18:55] 939*2^1404961-1 is not prime. Res64: 622478A7E8E44705 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:21:02] 603*2^1404962-1 is not prime. Res64: CCD97B6F16467F3B Time : 0.0 sec. user=mdettweiler [2015-08-01 09:21:03] 657*2^1404962-1 is not prime. Res64: 10A04B00F2B358CD Time : 0.0 sec. user=mdettweiler [2015-08-01 09:36:25] 665*2^1404962-1 is not prime. Res64: 06F8D47045C04C23 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:36:25] 743*2^1404962-1 is not prime. Res64: 5D16DC71F4738C42 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:36:36] 709*2^1404963-1 is not prime. Res64: E8546F181BB9441A Time : 0.0 sec. user=mdettweiler [2015-08-01 09:36:37] 643*2^1404963-1 is not prime. Res64: CC6999FB9E917899 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:36:37] 753*2^1404963-1 is not prime. Res64: 127D775BF5615786 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:36:37] 703*2^1404963-1 is not prime. Res64: 8A302F4BE14F2B46 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:38:40] 961*2^1404963-1 is not prime. Res64: F9FA7C8BBEA098DE Time : 0.0 sec. user=mdettweiler [2015-08-01 09:38:40] 615*2^1404964-1 is not prime. Res64: D70AF2AE525A49FE Time : 0.0 sec. user=mdettweiler [2015-08-01 09:54:13] 635*2^1404964-1 is not prime. Res64: 42443463CA24BCCD Time : 0.0 sec. user=mdettweiler [2015-08-01 09:54:14] 657*2^1404964-1 is not prime. Res64: 0D116DB1D7B02110 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:54:14] 665*2^1404964-1 is not prime. Res64: FE839D18AA4F8102 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:54:14] 743*2^1404964-1 is not prime. Res64: 46822260383D26B5 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:54:25] 803*2^1404964-1 is not prime. Res64: DA6A8BA28E1D5E18 Time : 0.0 sec. user=mdettweiler [2015-08-01 09:54:25] 929*2^1404964-1 is not prime. Res64: 0207CF0A6A22554D Time : 0.0 sec. user=mdettweiler [2015-08-01 09:56:31] 995*2^1404964-1 is not prime. Res64: B3E1C5CE3FB1EFED Time : 0.0 sec. user=mdettweiler [2015-08-01 09:56:32] 619*2^1404965-1 is not prime. Res64: 454218EA0DAE8595 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:11:57] 819*2^1404965-1 is not prime. Res64: 0E3E28A00B71A57F Time : 0.0 sec. user=mdettweiler [2015-08-01 10:11:58] 861*2^1404965-1 is not prime. Res64: D622A5394A6F6BE8 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:12:04] 707*2^1404966-1 is not prime. Res64: 56F3F2E7F9C1D565 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:12:04] 713*2^1404966-1 is not prime. Res64: DCA7A72BE8212A03 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:12:26] 755*2^1404966-1 is not prime. Res64: 31B6FC214A06659A Time : 0.0 sec. user=mdettweiler [2015-08-01 10:12:27] 801*2^1404966-1 is not prime. Res64: C2455197C71CDAE1 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:14:15] 851*2^1404966-1 is not prime. Res64: 63B91630BE03BD2F Time : 0.0 sec. user=mdettweiler [2015-08-01 10:14:15] 861*2^1404966-1 is not prime. Res64: A8316E403358A11B Time : 0.0 sec. user=mdettweiler [2015-08-01 10:29:44] 917*2^1404966-1 is not prime. Res64: E047C0A8258951B4 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:29:44] 933*2^1404966-1 is not prime. Res64: 3F5AE32B7EAEE2E7 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:29:45] 741*2^1404967-1 is not prime. Res64: AE939BCFAE2DA3B7 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:29:45] 759*2^1404967-1 is not prime. Res64: E8D37B299237954A Time : 0.0 sec. user=mdettweiler [2015-08-01 10:30:13] 765*2^1404967-1 is not prime. Res64: D5F6A0B1A36A1434 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:30:13] 915*2^1404967-1 is not prime. Res64: 01BE91F00A018ADB Time : 0.0 sec. user=mdettweiler [2015-08-01 10:31:55] 919*2^1404967-1 is not prime. Res64: 9F1785D8725A3B8A Time : 0.0 sec. user=mdettweiler [2015-08-01 10:31:55] 973*2^1404967-1 is not prime. Res64: C7E1FB519FB22A64 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:47:24] 975*2^1404967-1 is not prime. Res64: A939CBAF3CB083B3 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:47:24] 603*2^1404968-1 is not prime. Res64: 88BFF46D8D54AAA3 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:47:28] 617*2^1404968-1 is not prime. Res64: 7EA722B83D412A82 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:47:28] 963*2^1404968-1 is not prime. Res64: CE3B31AB0B851CDE Time : 0.0 sec. user=mdettweiler [2015-08-01 10:47:57] 601*2^1404969-1 is not prime. Res64: 6049F86F84A6A510 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:47:57] 709*2^1404969-1 is not prime. Res64: 81CC479BE8C236D7 Time : 0.0 sec. user=mdettweiler [2015-08-01 10:49:42] 721*2^1404969-1 is not prime. Res64: F145C7EFE81FD15A Time : 0.0 sec. user=mdettweiler [2015-08-01 10:49:42] 975*2^1404969-1 is not prime. Res64: 295772A183673390 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:05:09] 997*2^1404969-1 is not prime. Res64: DB23B0C1EF72FEC9 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:05:09] 701*2^1404970-1 is not prime. Res64: 37F50CBED42A92F7 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:05:12] 663*2^1404970-1 is not prime. Res64: 73131A7934E7497B Time : 0.0 sec. user=mdettweiler [2015-08-01 11:05:13] 717*2^1404970-1 is not prime. Res64: 83530A61B8DE2D10 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:05:37] 741*2^1404970-1 is not prime. Res64: 90A9E0D4D5690D2F Time : 0.0 sec. user=mdettweiler [2015-08-01 11:05:38] 887*2^1404970-1 is not prime. Res64: 1410A6B1CC8846FA Time : 0.0 sec. user=mdettweiler [2015-08-01 11:07:28] 917*2^1404970-1 is not prime. Res64: 536AD1686A02E5AC Time : 0.0 sec. user=mdettweiler [2015-08-01 11:07:29] 941*2^1404970-1 is not prime. Res64: F7EA1936A88D7F02 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:23:35] 651*2^1404971-1 is not prime. Res64: 792ADADCE1994540 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:23:35] 715*2^1404971-1 is not prime. Res64: 930C0A15494429CE Time : 0.0 sec. user=mdettweiler [2015-08-01 11:23:38] 981*2^1404970-1 is not prime. Res64: 5BADA0E7EE2E13A0 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:23:38] 603*2^1404971-1 is not prime. Res64: 16D577211CB0361C Time : 0.0 sec. user=mdettweiler [2015-08-01 11:23:44] 825*2^1404971-1 is not prime. Res64: 6D3509FC5E85ED25 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:23:44] 943*2^1404971-1 is not prime. Res64: 54EB95D4A9683857 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:25:40] 991*2^1404971-1 is not prime. Res64: C61224419F99C8B9 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:25:40] 693*2^1404972-1 is not prime. Res64: A4C04C9B9D39A220 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:41:32] 737*2^1404972-1 is not prime. Res64: F13B1CBC21A86AB2 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:41:32] 749*2^1404972-1 is not prime. Res64: 2A0871AD6FB24C65 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:41:38] 887*2^1404972-1 is not prime. Res64: 82CE5A1156D7A959 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:41:38] 965*2^1404972-1 is not prime. Res64: 973F25031FED3F36 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:41:40] 639*2^1404973-1 is not prime. Res64: D4F3F643F3B6CF41 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:41:40] 729*2^1404973-1 is not prime. Res64: EB79EA07E77E2595 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:43:32] 811*2^1404973-1 is not prime. Res64: 7245562F6ABBA3FB Time : 0.0 sec. user=mdettweiler [2015-08-01 11:43:33] 849*2^1404973-1 is not prime. Res64: B26180D6668A0376 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:59:22] 937*2^1404973-1 is not prime. Res64: 4866D5BD859B77A3 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:59:22] 985*2^1404973-1 is not prime. Res64: 5184C606CBF013E0 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:59:27] 987*2^1404973-1 is not prime. Res64: C0BF6D72D08C7D71 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:59:27] 605*2^1404974-1 is not prime. Res64: A14148484AC63644 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:59:31] 675*2^1404974-1 is not prime. Res64: 7FEDB5131CF355C0 Time : 0.0 sec. user=mdettweiler [2015-08-01 11:59:31] 683*2^1404974-1 is not prime. Res64: 93C30FC8CC15A4BA Time : 0.0 sec. user=mdettweiler [2015-08-01 12:01:26] 707*2^1404974-1 is not prime. Res64: B626E2367AC4F505 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:01:27] 797*2^1404974-1 is not prime. Res64: 48783F339D41031B Time : 0.0 sec. user=mdettweiler [2015-08-01 12:17:24] 923*2^1404974-1 is not prime. Res64: F66E0AF1D679A493 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:17:25] 957*2^1404974-1 is not prime. Res64: 85D9288E978BAB10 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:17:27] 663*2^1404975-1 is not prime. Res64: 86D576528F909A43 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:17:28] 789*2^1404975-1 is not prime. Res64: E830E44B6153266B Time : 0.0 sec. user=mdettweiler [2015-08-01 12:17:31] 795*2^1404975-1 is not prime. Res64: B181D78F7880ABB1 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:17:31] 819*2^1404975-1 is not prime. Res64: 8359DEA258278497 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:19:38] 909*2^1404975-1 is not prime. Res64: 949612CD9DC79DD2 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:19:39] 933*2^1404975-1 is not prime. Res64: A10F646C2ED206FF Time : 0.0 sec. user=mdettweiler [2015-08-01 12:35:13] 969*2^1404975-1 is not prime. Res64: AF26B68292DF292F Time : 0.0 sec. user=mdettweiler [2015-08-01 12:35:13] 999*2^1404975-1 is not prime. Res64: F3DDD6E50412A5A8 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:35:17] 887*2^1404976-1 is not prime. Res64: 138E96B438B89DA9 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:35:17] 905*2^1404976-1 is not prime. Res64: B83BF4215E9C5932 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:35:19] 623*2^1404976-1 is not prime. Res64: 35A27EACDB19F8BC Time : 0.0 sec. user=mdettweiler [2015-08-01 12:35:19] 779*2^1404976-1 is not prime. Res64: 89288ABCEB48B7AD Time : 0.0 sec. user=mdettweiler [2015-08-01 12:37:23] 939*2^1404976-1 is not prime. Res64: 7DBDE048EDAE7662 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:37:23] 607*2^1404977-1 is not prime. Res64: 98DB0A92803CF281 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:52:59] 805*2^1404977-1 is not prime. Res64: F9BC41AD1FEBBED2 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:52:59] 777*2^1404978-1 is not prime. Res64: FBD263E01BD7ACC3 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:53:00] 713*2^1404978-1 is not prime. Res64: FA80D0C591DB78BD Time : 0.0 sec. user=mdettweiler [2015-08-01 12:53:00] 801*2^1404978-1 is not prime. Res64: 2E8409B6DD095117 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:53:03] 645*2^1404977-1 is not prime. Res64: BAB66D3455A89DB8 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:53:03] 691*2^1404977-1 is not prime. Res64: FC3C58A2FD4487A3 Time : 0.0 sec. user=mdettweiler [2015-08-01 12:55:10] 843*2^1404978-1 is not prime. Res64: BC0890D47C030ADE Time : 0.0 sec. user=mdettweiler [2015-08-01 12:55:11] 893*2^1404978-1 is not prime. Res64: FCEC151758B61685 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:10:44] 915*2^1404978-1 is not prime. Res64: 95E135836690C172 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:10:44] 933*2^1404978-1 is not prime. Res64: 89CC3AA56DCCD09A Time : 0.0 sec. user=mdettweiler [2015-08-01 13:10:55] 843*2^1404979-1 is not prime. Res64: 2032E09744D93B71 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:10:55] 861*2^1404979-1 is not prime. Res64: D3FE093081C630A2 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:10:55] 945*2^1404978-1 is not prime. Res64: 14FA98C25FCC5052 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:10:55] 633*2^1404979-1 is not prime. Res64: B51B0B933232E1D7 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:12:57] 999*2^1404979-1 is not prime. Res64: 217330ADDEC31E15 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:12:57] 675*2^1404980-1 is not prime. Res64: F3714ECA747C1D18 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:28:23] 759*2^1404980-1 is not prime. Res64: 2B18D8D6BD7ECB47 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:28:24] 773*2^1404980-1 is not prime. Res64: 87D273EF9CAD1E0C Time : 0.0 sec. user=mdettweiler [2015-08-01 13:28:39] 795*2^1404980-1 is not prime. Res64: 0D0C1E31111ECF97 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:28:39] 899*2^1404980-1 is not prime. Res64: E340031CC1FD45A4 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:28:41] 953*2^1404980-1 is not prime. Res64: F2390C406F06C5CF Time : 0.0 sec. user=mdettweiler [2015-08-01 13:28:42] 983*2^1404980-1 is not prime. Res64: 687BEB8D414F035B Time : 0.0 sec. user=mdettweiler [2015-08-01 13:30:45] 621*2^1404981-1 is not prime. Res64: 75B59999D5746926 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:30:45] 717*2^1404981-1 is not prime. Res64: 413C4659B887FDB7 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:46:20] 751*2^1404981-1 is not prime. Res64: 26DAB37A43B3E5F7 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:46:21] 829*2^1404981-1 is not prime. Res64: CC9305C4C57FD4F5 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:46:22] 861*2^1404981-1 is not prime. Res64: 3EBAAFDEC10DBB0F Time : 0.0 sec. user=mdettweiler [2015-08-01 13:46:23] 885*2^1404981-1 is not prime. Res64: 306F29F80ABFD542 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:46:28] 901*2^1404981-1 is not prime. Res64: CBB47D31C1D5AA7A Time : 0.0 sec. user=mdettweiler [2015-08-01 13:46:28] 623*2^1404982-1 is not prime. Res64: D9E1ABE168DBD186 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:48:38] 713*2^1404982-1 is not prime. Res64: 614677ED0EDD96C4 Time : 0.0 sec. user=mdettweiler [2015-08-01 13:48:39] 737*2^1404982-1 is not prime. Res64: 486F08F97A376941 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:04:01] 873*2^1404982-1 is not prime. Res64: 038C7C1F5522777F Time : 0.0 sec. user=mdettweiler [2015-08-01 14:04:03] 923*2^1404982-1 is not prime. Res64: CFDD42A67E00399B Time : 0.0 sec. user=mdettweiler [2015-08-01 14:04:12] 957*2^1404982-1 is not prime. Res64: 4F7FB21336CB145E Time : 0.0 sec. user=mdettweiler [2015-08-01 14:04:13] 621*2^1404983-1 is not prime. Res64: 0AEC09963163F05C Time : 0.0 sec. user=mdettweiler [2015-08-01 14:04:15] 945*2^1404982-1 is not prime. Res64: FE692F24D243F0DD Time : 0.0 sec. user=mdettweiler [2015-08-01 14:04:16] 951*2^1404982-1 is not prime. Res64: 77264D0ABE68DACB Time : 0.0 sec. user=mdettweiler [2015-08-01 14:06:27] 735*2^1404983-1 is not prime. Res64: AC352E5624C298D3 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:06:27] 889*2^1404983-1 is not prime. Res64: 305300118EF1CC36 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:22:04] 999*2^1404983-1 is not prime. Res64: 2459F667C9C4040F Time : 0.0 sec. user=mdettweiler [2015-08-01 14:22:04] 683*2^1404984-1 is not prime. Res64: 77B01A0912EBF645 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:22:06] 849*2^1404984-1 is not prime. Res64: 1FBEB35CB2D2565F Time : 0.0 sec. user=mdettweiler [2015-08-01 14:22:07] 893*2^1404984-1 is not prime. Res64: 6687659BE6CA3B86 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:22:07] 693*2^1404984-1 is not prime. Res64: D3F5245D07AC3E3F Time : 0.0 sec. user=mdettweiler [2015-08-01 14:22:08] 773*2^1404984-1 is not prime. Res64: 77EA96C3C912AB5F Time : 0.0 sec. user=mdettweiler [2015-08-01 14:24:14] 959*2^1404984-1 is not prime. Res64: 117089BDDF35CCF9 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:24:14] 649*2^1404985-1 is not prime. Res64: 51E1030D08F9C5F6 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:39:50] 861*2^1404985-1 is not prime. Res64: A4CD6780C59ABEBC Time : 0.0 sec. user=mdettweiler [2015-08-01 14:39:50] 623*2^1404986-1 is not prime. Res64: A8ECDE49C801F8F5 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:39:50] 867*2^1404985-1 is not prime. Res64: DC29E41D467BA4C2 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:39:50] 677*2^1404986-1 is not prime. Res64: F47A432DEA9D941D Time : 0.0 sec. user=mdettweiler [2015-08-01 14:39:59] 773*2^1404986-1 is not prime. Res64: 7D75A1BFE05D56DC Time : 0.0 sec. user=mdettweiler [2015-08-01 14:40:00] 893*2^1404986-1 is not prime. Res64: 20F8FFBFD18B0D28 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:42:00] 945*2^1404986-1 is not prime. Res64: ABC5E1143120C375 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:42:01] 953*2^1404986-1 is not prime. Res64: F89AFDF42670A050 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:57:30] 609*2^1404987-1 is not prime. Res64: 8C0628022FC375AA Time : 0.0 sec. user=mdettweiler [2015-08-01 14:57:30] 615*2^1404987-1 is not prime. Res64: DF1763AB8D1C96F4 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:57:34] 699*2^1404987-1 is not prime. Res64: 9A2B4F5CB2A064A0 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:57:34] 703*2^1404987-1 is not prime. Res64: C606060A5E6BB76D Time : 0.0 sec. user=mdettweiler [2015-08-01 14:57:41] 859*2^1404987-1 is not prime. Res64: F36692C865C5CA09 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:57:42] 975*2^1404987-1 is not prime. Res64: 251160CB887877D5 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:59:42] 749*2^1404988-1 is not prime. Res64: 65956979E63B2F91 Time : 0.0 sec. user=mdettweiler [2015-08-01 14:59:42] 819*2^1404988-1 is not prime. Res64: D44F36090CB0E7CB Time : 0.0 sec. user=mdettweiler [2015-08-01 15:15:15] 909*2^1404988-1 is not prime. Res64: C318F608CD2E2105 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:15:16] 999*2^1404988-1 is not prime. Res64: B37F8BE8ECED3214 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:15:21] 615*2^1404989-1 is not prime. Res64: 7368CBD057F0FB2C Time : 0.0 sec. user=mdettweiler [2015-08-01 15:15:21] 747*2^1404989-1 is not prime. Res64: 87A3FCAB3BF3EC2B Time : 0.0 sec. user=mdettweiler [2015-08-01 15:15:24] 771*2^1404989-1 is not prime. Res64: 1734C112D899ECB1 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:15:24] 837*2^1404989-1 is not prime. Res64: B0333D0B6AFACD63 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:17:29] 885*2^1404989-1 is not prime. Res64: 7BD02206286FFBE6 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:17:30] 765*2^1404990-1 is not prime. Res64: 2B8153CC656472B7 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:33:03] 873*2^1404991-1 is not prime. Res64: F67DC4797A539400 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:33:03] 895*2^1404991-1 is not prime. Res64: 88A14EA3B93BD834 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:33:04] 775*2^1404991-1 is not prime. Res64: C998ED1CBA8A175E Time : 0.0 sec. user=mdettweiler [2015-08-01 15:33:05] 843*2^1404991-1 is not prime. Res64: 2AD77B80CD759D25 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:33:06] 933*2^1404991-1 is not prime. Res64: 3C4D3F0498CDEC3F Time : 0.0 sec. user=mdettweiler [2015-08-01 15:33:06] 939*2^1404991-1 is not prime. Res64: EE8A10F7A1137317 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:35:16] 951*2^1404991-1 is not prime. Res64: A83C924815A97524 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:35:17] 617*2^1404992-1 is not prime. Res64: 5D8FD289BA82243E Time : 0.0 sec. user=mdettweiler [2015-08-01 15:50:44] 693*2^1404992-1 is not prime. Res64: 5EE36454F3897E19 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:50:44] 813*2^1404992-1 is not prime. Res64: B396ECAE2ED8FB05 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:50:47] 843*2^1404992-1 is not prime. Res64: A9EC2AB4E702EB84 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:50:47] 855*2^1404992-1 is not prime. Res64: 779E539E3C143117 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:51:00] 875*2^1404992-1 is not prime. Res64: 1B1434F5C4D55FDA Time : 0.0 sec. user=mdettweiler [2015-08-01 15:51:01] 959*2^1404992-1 is not prime. Res64: A22B0AF6B3B38CBC Time : 0.0 sec. user=mdettweiler [2015-08-01 15:53:03] 649*2^1404993-1 is not prime. Res64: BC4DB4C6A4B52485 Time : 0.0 sec. user=mdettweiler [2015-08-01 15:53:03] 699*2^1404993-1 is not prime. Res64: 7477EE6FEE38268E Time : 0.0 sec. user=mdettweiler [2015-08-01 16:08:34] 765*2^1404993-1 is not prime. Res64: 11A3271BB220D381 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:08:35] 847*2^1404993-1 is not prime. Res64: B9015929B00098C6 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:08:41] 871*2^1404993-1 is not prime. Res64: FC7605AE504DC69D Time : 0.0 sec. user=mdettweiler [2015-08-01 16:08:41] 891*2^1404993-1 is not prime. Res64: 71642FCA6D577C2B Time : 0.0 sec. user=mdettweiler [2015-08-01 16:08:52] 949*2^1404993-1 is not prime. Res64: 180F8D3314EE5958 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:08:52] 951*2^1404993-1 is not prime. Res64: C80698A550853045 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:10:54] 969*2^1404993-1 is not prime. Res64: D0327EABF528C1F8 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:10:55] 657*2^1404994-1 is not prime. Res64: 46E68E1D6DF53589 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:26:16] 705*2^1404994-1 is not prime. Res64: E818F4FCC8F1A80B Time : 0.0 sec. user=mdettweiler [2015-08-01 16:26:16] 831*2^1404994-1 is not prime. Res64: 08D3342728A44984 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:26:22] 609*2^1404995-1 is not prime. Res64: 222E20B9DF14AD4F Time : 0.0 sec. user=mdettweiler [2015-08-01 16:26:23] 759*2^1404995-1 is not prime. Res64: 3E8550303D9A09C8 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:26:38] 861*2^1404995-1 is not prime. Res64: 0C3F927F5408C151 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:26:38] 871*2^1404995-1 is not prime. Res64: 504DBB1E79F4B2E8 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:28:34] 885*2^1404995-1 is not prime. Res64: 5E31986AB96E289A Time : 0.0 sec. user=mdettweiler [2015-08-01 16:28:34] 969*2^1404995-1 is not prime. Res64: FEDD1C9F198C7225 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:44:08] 609*2^1404996-1 is not prime. Res64: CAA37DB5CC8A93C0 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:44:08] 749*2^1404996-1 is not prime. Res64: 6365A4241FCEE218 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:44:15] 857*2^1404996-1 is not prime. Res64: D8FAF2C4C6568FC3 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:44:15] 727*2^1404997-1 is not prime. Res64: 996B34AB53EA186D Time : 0.0 sec. user=mdettweiler [2015-08-01 16:44:29] 747*2^1404997-1 is not prime. Res64: DBFBAA079B868E0E Time : 0.0 sec. user=mdettweiler [2015-08-01 16:44:30] 757*2^1404997-1 is not prime. Res64: 3B96FA23FEAABBA2 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:46:31] 769*2^1404997-1 is not prime. Res64: 10DD13FC7FF66436 Time : 0.0 sec. user=mdettweiler [2015-08-01 16:46:31] 861*2^1404997-1 is not prime. Res64: EE3864755E2FE4B9 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:01:58] 871*2^1404997-1 is not prime. Res64: 4467361C12042370 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:01:59] 885*2^1404997-1 is not prime. Res64: 0B13828DE1B8B703 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:02:05] 957*2^1404997-1 is not prime. Res64: A712F6F59AD8AC84 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:02:06] 961*2^1404997-1 is not prime. Res64: BB92B0859F0FB71C Time : 0.0 sec. user=mdettweiler [2015-08-01 17:02:28] 985*2^1404997-1 is not prime. Res64: B46D55690D4D58E7 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:02:29] 645*2^1404998-1 is not prime. Res64: 5DAEFE38001B0A8C Time : 0.0 sec. user=mdettweiler [2015-08-01 17:04:23] 657*2^1404998-1 is not prime. Res64: A51AE78ACD6E8C55 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:04:25] 665*2^1404998-1 is not prime. Res64: 2530886F07B92961 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:19:51] 797*2^1404998-1 is not prime. Res64: 76ADDD08827594AD Time : 0.0 sec. user=mdettweiler [2015-08-01 17:19:52] 801*2^1404998-1 is not prime. Res64: 0881C70C756AAB44 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:19:54] 705*2^1404998-1 is not prime. Res64: 7C15886B3D123DFF Time : 0.0 sec. user=mdettweiler [2015-08-01 17:19:54] 773*2^1404998-1 is not prime. Res64: D53A5038EF239F8A Time : 0.0 sec. user=mdettweiler [2015-08-01 17:20:18] 813*2^1404998-1 is not prime. Res64: 62BED09479CDD4A0 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:20:18] 867*2^1404998-1 is not prime. Res64: 9848A64B93563AEF Time : 0.0 sec. user=mdettweiler [2015-08-01 17:22:12] 971*2^1404998-1 is not prime. Res64: 04417EF87875F771 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:22:12] 633*2^1404999-1 is not prime. Res64: 5D3CDF76F4ACC9A6 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:37:33] 885*2^1404999-1 is not prime. Res64: C8269A14CEEE219A Time : 0.0 sec. user=mdettweiler [2015-08-01 17:37:33] 943*2^1404999-1 is not prime. Res64: 0EA72FAB23868B20 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:37:38] 705*2^1404999-1 is not prime. Res64: 26CFA0DDFFFA2F75 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:37:38] 795*2^1404999-1 is not prime. Res64: E12FBDADD3C1F50E Time : 0.0 sec. user=mdettweiler [2015-08-01 17:38:01] 961*2^1404999-1 is not prime. Res64: 20653B09A7D979D5 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:38:01] 615*2^1405000-1 is not prime. Res64: 683CD01AD4C601A6 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:39:51] 777*2^1405000-1 is not prime. Res64: B9F2E4BE170F5DDE Time : 0.0 sec. user=mdettweiler [2015-08-01 17:39:52] 899*2^1405000-1 is not prime. Res64: 0D56304EEA4AEAA3 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:55:47] 691*2^1405001-1 is not prime. Res64: 5E73DD1CCC4A3F53 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:55:47] 735*2^1405001-1 is not prime. Res64: 318D0A23C14F3F25 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:56:10] 769*2^1405001-1 is not prime. Res64: 92401220CEC594C0 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:56:10] 855*2^1405001-1 is not prime. Res64: 51F5F5C03D4A6657 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:56:34] 867*2^1405001-1 is not prime. Res64: 5EBAC224E639B1FD Time : 0.0 sec. user=mdettweiler [2015-08-01 17:56:35] 889*2^1405001-1 is not prime. Res64: 131D84E719FDBD57 Time : 0.0 sec. user=mdettweiler [2015-08-01 17:58:20] 627*2^1405002-1 is not prime. Res64: 1F7ED4B1EDC5298F Time : 0.0 sec. user=mdettweiler [2015-08-01 17:58:21] 887*2^1405002-1 is not prime. Res64: 53D543A5DB968AA0 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:14:49] 603*2^1405003-1 is not prime. Res64: E3D876C92A94A6C2 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:14:50] 675*2^1405003-1 is not prime. Res64: EAF77789AAA271C8 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:15:02] 951*2^1405002-1 is not prime. Res64: 2A8C143B24EE3BFB Time : 0.0 sec. user=mdettweiler [2015-08-01 18:15:02] 1001*2^1405002-1 is not prime. Res64: 9594D239964549E5 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:15:42] 679*2^1405003-1 is not prime. Res64: C62C58444DC54BDD Time : 0.0 sec. user=mdettweiler [2015-08-01 18:15:42] 681*2^1405003-1 is not prime. Res64: F09327F0515898AC Time : 0.0 sec. user=mdettweiler [2015-08-01 18:17:43] 751*2^1405003-1 is not prime. Res64: D1504FAD8266C7D1 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:17:43] 783*2^1405003-1 is not prime. Res64: B5766C0183A58244 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:33:23] 901*2^1405003-1 is not prime. Res64: 819B3D20E72493D4 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:33:23] 945*2^1405003-1 is not prime. Res64: F2F6E6B1C10849E4 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:33:41] 609*2^1405004-1 is not prime. Res64: CB3490A2A474C38A Time : 0.0 sec. user=mdettweiler [2015-08-01 18:33:42] 615*2^1405004-1 is not prime. Res64: 37BACEEE29141332 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:34:15] 773*2^1405004-1 is not prime. Res64: D1C67072360E9364 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:34:16] 789*2^1405004-1 is not prime. Res64: D35017CCEA5529D6 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:35:56] 855*2^1405004-1 is not prime. Res64: ACB9561BE7C1F406 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:35:56] 857*2^1405004-1 is not prime. Res64: C8FCDEF8CDB011AE Time : 0.0 sec. user=mdettweiler [2015-08-01 18:52:33] 869*2^1405004-1 is not prime. Res64: 1933772C13E67012 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:52:33] 969*2^1405004-1 is not prime. Res64: 93995F80DB658491 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:52:52] 657*2^1405005-1 is not prime. Res64: C505F31A81BB2DCB Time : 0.0 sec. user=mdettweiler [2015-08-01 18:52:53] 895*2^1405005-1 is not prime. Res64: F8672C7729526FD1 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:53:38] 911*2^1405006-1 is not prime. Res64: EAAA7F8FC3C39A43 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:53:39] 615*2^1405007-1 is not prime. Res64: 5FD5065352CD4D32 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:55:44] 619*2^1405007-1 is not prime. Res64: CA1915AE21F248F4 Time : 0.0 sec. user=mdettweiler [2015-08-01 18:55:45] 643*2^1405007-1 is not prime. Res64: B7EA4974C3E73E0B Time : 0.0 sec. user=mdettweiler [2015-08-01 19:11:48] 753*2^1405007-1 is not prime. Res64: 912CD204AC937A90 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:11:49] 825*2^1405007-1 is not prime. Res64: DAC4D794CCE17AE1 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:11:49] 661*2^1405007-1 is not prime. Res64: FEDCBFBB6AA29401 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:11:50] 729*2^1405007-1 is not prime. Res64: 5E3098F969A14588 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:12:29] 829*2^1405007-1 is not prime. Res64: 70E590413F78B878 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:12:29] 841*2^1405007-1 is not prime. Res64: 0EC56B5605759764 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:14:14] 859*2^1405007-1 is not prime. Res64: FBD12EC53DF5BBC5 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:14:15] 909*2^1405007-1 is not prime. Res64: 507C811BF44DF513 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:29:37] 663*2^1405008-1 is not prime. Res64: 2978F1647B7DB1EB Time : 0.0 sec. user=mdettweiler [2015-08-01 19:29:37] 879*2^1405008-1 is not prime. Res64: 8AE5688BFD9A7DDC Time : 0.0 sec. user=mdettweiler [2015-08-01 19:29:39] 639*2^1405008-1 is not prime. Res64: 4138B7764A769D11 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:29:39] 657*2^1405008-1 is not prime. Res64: C3F564B3BBB9F31D Time : 0.0 sec. user=mdettweiler [2015-08-01 19:30:14] 929*2^1405008-1 is not prime. Res64: D80671BCB53EE9E4 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:30:15] 935*2^1405008-1 is not prime. Res64: C0D4E74E1254F529 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:31:57] 999*2^1405008-1 is not prime. Res64: 3415AE46BC0053CB Time : 0.0 sec. user=mdettweiler [2015-08-01 19:31:57] 609*2^1405009-1 is not prime. Res64: 259EE737765DCDB4 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:47:42] 661*2^1405009-1 is not prime. Res64: 2DD7DDA9738A6783 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:47:42] 687*2^1405009-1 is not prime. Res64: 57C520F49EDE87F8 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:47:58] 691*2^1405009-1 is not prime. Res64: 993CDB31C1BEEAB3 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:47:58] 729*2^1405009-1 is not prime. Res64: A900AA50E4E780A7 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:48:30] 741*2^1405009-1 is not prime. Res64: 37E43FE1FD044CC9 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:48:30] 861*2^1405009-1 is not prime. Res64: 9D72C7E4AEC8FFDA Time : 0.0 sec. user=mdettweiler [2015-08-01 19:50:16] 877*2^1405009-1 is not prime. Res64: 27696295D76253B6 Time : 0.0 sec. user=mdettweiler [2015-08-01 19:50:16] 885*2^1405009-1 is not prime. Res64: EA5F4FEC13FCD8EE Time : 0.0 sec. user=mdettweiler [2015-08-01 20:05:57] 939*2^1405009-1 is not prime. Res64: 6C53E8D1710C6E01 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:05:58] 987*2^1405009-1 is not prime. Res64: 46D4801D1F7B26F3 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:06:11] 605*2^1405010-1 is not prime. Res64: A59CDB8FB326F7ED Time : 0.0 sec. user=mdettweiler [2015-08-01 20:06:11] 645*2^1405010-1 is not prime. Res64: C04750C9F7C2554B Time : 0.0 sec. user=mdettweiler [2015-08-01 20:06:47] 665*2^1405010-1 is not prime. Res64: 41ED37B7AB553705 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:06:48] 701*2^1405010-1 is not prime. Res64: A12205E95E0E3835 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:08:52] 743*2^1405010-1 is not prime. Res64: B5BCD3E56E8BE81C Time : 0.0 sec. user=mdettweiler [2015-08-01 20:08:52] 797*2^1405010-1 is not prime. Res64: E5E7D09C378B1C71 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:24:54] 813*2^1405010-1 is not prime. Res64: 0979BE0405526B9A Time : 0.0 sec. user=mdettweiler [2015-08-01 20:24:54] 831*2^1405010-1 is not prime. Res64: 72C16EF91EBC9151 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:25:06] 861*2^1405010-1 is not prime. Res64: 9BE349AB3D4F3F51 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:25:06] 615*2^1405011-1 is not prime. Res64: 5C036941A5E7C0DE Time : 0.0 sec. user=mdettweiler [2015-08-01 20:25:30] 651*2^1405011-1 is not prime. Res64: 0C1971A9ADAD6B30 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:25:30] 723*2^1405011-1 is not prime. Res64: B473092CBD834731 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:27:36] 795*2^1405011-1 is not prime. Res64: ABBC7917A13E8112 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:27:36] 823*2^1405011-1 is not prime. Res64: 694EC108073358B0 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:43:28] 871*2^1405011-1 is not prime. Res64: 60E034C52D1522EA Time : 0.0 sec. user=mdettweiler [2015-08-01 20:43:28] 699*2^1405012-1 is not prime. Res64: 9E2C25767A859F95 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:43:41] 723*2^1405012-1 is not prime. Res64: 2FC0B86EB6F99B10 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:43:41] 779*2^1405012-1 is not prime. Res64: AFCC08DF3A5CF694 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:44:04] 807*2^1405012-1 is not prime. Res64: 099A90C2B6CDE6AD Time : 0.0 sec. user=mdettweiler [2015-08-01 20:44:05] 875*2^1405012-1 is not prime. Res64: 2DA02EC72F091866 Time : 0.0 sec. user=mdettweiler [2015-08-01 20:46:12] 729*2^1405013-1 is not prime. Res64: 81EFE3E1B55B1EFD Time : 0.0 sec. user=mdettweiler [2015-08-01 20:46:12] 741*2^1405013-1 is not prime. Res64: 1E99DA9410370731 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:01:59] 945*2^1405013-1 is not prime. Res64: 2F603921721E1320 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:02:00] 987*2^1405013-1 is not prime. Res64: F9C3AB20F54A52BB Time : 0.0 sec. user=mdettweiler [2015-08-01 21:02:05] 711*2^1405014-1 is not prime. Res64: 74C8428D45E17A17 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:02:06] 851*2^1405014-1 is not prime. Res64: 2E14EAB124DA1BB5 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:02:35] 619*2^1405015-1 is not prime. Res64: 538776B731222968 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:02:36] 705*2^1405015-1 is not prime. Res64: E84C78DEE95A6E90 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:04:39] 759*2^1405015-1 is not prime. Res64: 6115A194BE918207 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:04:40] 771*2^1405015-1 is not prime. Res64: 2B0A387BE5F8E2AA Time : 0.0 sec. user=mdettweiler [2015-08-01 21:20:18] 843*2^1405015-1 is not prime. Res64: 887E2701E1377FB2 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:20:18] 849*2^1405015-1 is not prime. Res64: 831ACAD6B49B0599 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:20:38] 855*2^1405015-1 is not prime. Res64: C5A555BD2BFE3DAF Time : 0.0 sec. user=mdettweiler [2015-08-01 21:20:38] 859*2^1405015-1 is not prime. Res64: EDDA22BEC40E7B7B Time : 0.0 sec. user=mdettweiler [2015-08-01 21:20:41] 873*2^1405015-1 is not prime. Res64: 4AB2F858EC4886F3 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:20:41] 925*2^1405015-1 is not prime. Res64: 3E2B0D85F003FA85 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:23:05] 623*2^1405016-1 is not prime. Res64: A48980CEC7CBAEED Time : 0.0 sec. user=mdettweiler [2015-08-01 21:23:05] 633*2^1405016-1 is not prime. Res64: A712DC521C1C9D49 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:39:13] 693*2^1405016-1 is not prime. Res64: 7DFEF11C827703FC Time : 0.0 sec. user=mdettweiler [2015-08-01 21:39:13] 833*2^1405016-1 is not prime. Res64: 93BA2E68671A94C9 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:39:27] 875*2^1405016-1 is not prime. Res64: 43BB661E2A4C8ECC Time : 0.0 sec. user=mdettweiler [2015-08-01 21:39:28] 935*2^1405016-1 is not prime. Res64: A5C4E889EBB2ACFF Time : 0.0 sec. user=mdettweiler [2015-08-01 21:39:31] 601*2^1405017-1 is not prime. Res64: 8BB3304DE84E67A5 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:39:31] 651*2^1405017-1 is not prime. Res64: AD8B962BF52FB37F Time : 0.0 sec. user=mdettweiler [2015-08-01 21:42:08] 781*2^1405017-1 is not prime. Res64: 26AAA4CAFEB2E583 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:42:08] 937*2^1405017-1 is not prime. Res64: 2CEFD99124806633 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:58:01] 647*2^1405018-1 is not prime. Res64: 0E9A9CD4EF2A0278 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:58:01] 713*2^1405018-1 is not prime. Res64: 75EE8D26718085F2 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:58:25] 975*2^1405018-1 is not prime. Res64: DA2E12E926C777F5 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:58:25] 619*2^1405019-1 is not prime. Res64: F85B1C3ACA159E60 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:58:27] 791*2^1405018-1 is not prime. Res64: 7FC49DCDBFA45934 Time : 0.0 sec. user=mdettweiler [2015-08-01 21:58:27] 801*2^1405018-1 is not prime. Res64: F0B78F579614055D Time : 0.0 sec. user=mdettweiler [2015-08-01 22:01:01] 621*2^1405019-1 is not prime. Res64: 0A44681B4E9971BA Time : 0.0 sec. user=mdettweiler [2015-08-01 22:01:02] 669*2^1405019-1 is not prime. Res64: 7A81EFB25BD79FBC Time : 0.0 sec. user=mdettweiler [2015-08-01 22:16:19] 675*2^1405019-1 is not prime. Res64: 3655B3654899B056 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:16:19] 685*2^1405019-1 is not prime. Res64: E4591E248E740678 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:16:45] 741*2^1405019-1 is not prime. Res64: 8C68285F401CE3FF Time : 0.0 sec. user=mdettweiler [2015-08-01 22:16:45] 819*2^1405019-1 is not prime. Res64: F184C73066D879A8 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:16:46] 969*2^1405019-1 is not prime. Res64: DFEEA33903DBBDA2 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:16:46] 973*2^1405019-1 is not prime. Res64: 1BB645B03B6B6D3C Time : 0.0 sec. user=mdettweiler [2015-08-01 22:19:08] 985*2^1405019-1 is not prime. Res64: E847062B965DCD6B Time : 0.0 sec. user=mdettweiler [2015-08-01 22:19:09] 993*2^1405019-1 is not prime. Res64: 7757B1BA7C87BDE0 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:34:49] 695*2^1405020-1 is not prime. Res64: 308B566C9C7DCDFC Time : 0.0 sec. user=mdettweiler [2015-08-01 22:34:49] 779*2^1405020-1 is not prime. Res64: D503F00417AC9DCA Time : 0.0 sec. user=mdettweiler [2015-08-01 22:35:09] 945*2^1405020-1 is not prime. Res64: DCBF6DABD6D218CD Time : 0.0 sec. user=mdettweiler [2015-08-01 22:35:10] 965*2^1405020-1 is not prime. Res64: B38ED066BBDEDDD1 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:35:23] 789*2^1405020-1 is not prime. Res64: 45A32B8566B6B10D Time : 0.0 sec. user=mdettweiler [2015-08-01 22:35:24] 887*2^1405020-1 is not prime. Res64: 777F13FE0447A122 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:37:41] 727*2^1405021-1 is not prime. Res64: 41746CF1848549D8 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:37:41] 769*2^1405021-1 is not prime. Res64: 7AAE29A93D0BB90E Time : 0.0 sec. user=mdettweiler [2015-08-01 22:53:43] 775*2^1405021-1 is not prime. Res64: 54E1F4EBE9EDC6F8 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:53:44] 861*2^1405021-1 is not prime. Res64: 20526C79DFAF3281 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:54:43] 871*2^1405021-1 is not prime. Res64: BC0034CE5F5115C2 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:54:43] 931*2^1405021-1 is not prime. Res64: 712AA49C2D04B5D9 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:54:52] 683*2^1405022-1 is not prime. Res64: D3C26652FE5C5DA6 Time : 0.0 sec. user=mdettweiler [2015-08-01 22:54:52] 711*2^1405022-1 is not prime. Res64: 5172F52A5E9176EE Time : 0.0 sec. user=mdettweiler [2015-08-01 22:57:00] 713*2^1405022-1 is not prime. Res64: 1B92DC62B406562E Time : 0.0 sec. user=mdettweiler [2015-08-01 22:57:01] 753*2^1405022-1 is not prime. Res64: 814846D0F731DA90 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:12:11] 893*2^1405022-1 is not prime. Res64: 92C3527EF7BE8931 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:12:11] 945*2^1405022-1 is not prime. Res64: 3B9948DE7465099A Time : 0.0 sec. user=mdettweiler [2015-08-01 23:13:17] 981*2^1405022-1 is not prime. Res64: 57678FBAD38DF79D Time : 0.0 sec. user=mdettweiler [2015-08-01 23:13:17] 741*2^1405023-1 is not prime. Res64: 95E05A26340A03BA Time : 0.0 sec. user=mdettweiler [2015-08-01 23:13:25] 953*2^1405022-1 is not prime. Res64: 47B2647C413B4C1F Time : 0.0 sec. user=mdettweiler [2015-08-01 23:13:25] 977*2^1405022-1 is not prime. Res64: 5C850FF0CE4F99D8 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:15:40] 629*2^1405024-1 is not prime. Res64: BD6AB2AB0D1B56DF Time : 0.0 sec. user=mdettweiler [2015-08-01 23:15:41] 635*2^1405024-1 is not prime. Res64: 213750E83C5A4239 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:30:50] 755*2^1405024-1 is not prime. Res64: F1D3AB7B124C2DF6 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:30:50] 827*2^1405024-1 is not prime. Res64: 4028AC7710548685 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:31:51] 873*2^1405024-1 is not prime. Res64: 43BF1BC8615FB97F Time : 0.0 sec. user=mdettweiler [2015-08-01 23:31:51] 909*2^1405024-1 is not prime. Res64: 3E44F395DA094C87 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:32:07] 619*2^1405025-1 is not prime. Res64: 0D5D0A2E7D5E1D81 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:32:08] 777*2^1405025-1 is not prime. Res64: 8E4D682D3DF091D9 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:34:15] 787*2^1405025-1 is not prime. Res64: 647BABA69188EF5E Time : 0.0 sec. user=mdettweiler [2015-08-01 23:34:15] 831*2^1405025-1 is not prime. Res64: 171E5613EC5E7B84 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:50:16] 865*2^1405025-1 is not prime. Res64: 5AEE5FF7816592FF Time : 0.0 sec. user=mdettweiler [2015-08-01 23:50:16] 909*2^1405025-1 is not prime. Res64: 0CE210B6A4697DBE Time : 0.0 sec. user=mdettweiler [2015-08-01 23:51:28] 925*2^1405025-1 is not prime. Res64: 4EF0D6425B582AF4 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:51:28] 921*2^1405026-1 is not prime. Res64: 77301493EC4B0403 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:51:38] 945*2^1405026-1 is not prime. Res64: 2EFA94FCEFC5EA12 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:51:39] 963*2^1405026-1 is not prime. Res64: 61E51AB114777447 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:53:43] 993*2^1405026-1 is not prime. Res64: FFD79FEC806DDBC1 Time : 0.0 sec. user=mdettweiler [2015-08-01 23:53:43] 1001*2^1405026-1 is not prime. Res64: E17A58D784D79579 Time : 0.0 sec.