user=mdettweiler [2015-10-15 00:11:07] 971*2^1412130-1 is not prime. Res64: 949912A8A8539EEC Time : 0.0 sec. user=mdettweiler [2015-10-15 00:11:07] 631*2^1412131-1 is not prime. Res64: C7B10D9B0D79D751 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:11:09] 873*2^1412130-1 is not prime. Res64: 7817B48C66306299 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:11:09] 917*2^1412130-1 is not prime. Res64: E6B815C3CD859ABA Time : 0.0 sec. user=mdettweiler [2015-10-15 00:12:00] 685*2^1412131-1 is not prime. Res64: D4003659A0AB6A65 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:12:00] 709*2^1412131-1 is not prime. Res64: EFC3139E281E8B26 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:16:39] 733*2^1412131-1 is not prime. Res64: A39079EF56D3772E Time : 0.0 sec. user=mdettweiler [2015-10-15 00:16:40] 951*2^1412131-1 is not prime. Res64: 72590ED9001B4A9F Time : 0.0 sec. user=mdettweiler [2015-10-15 00:28:53] 969*2^1412131-1 is not prime. Res64: 7C85F35446C9E5A3 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:28:53] 647*2^1412132-1 is not prime. Res64: 90DB51808028BC0E Time : 0.0 sec. user=mdettweiler [2015-10-15 00:28:55] 669*2^1412132-1 is not prime. Res64: A1C1FF25192E1D70 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:28:55] 677*2^1412132-1 is not prime. Res64: 71DA5D0C4F4D88C3 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:29:45] 797*2^1412132-1 is not prime. Res64: BDFB263D26F5AFF2 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:29:46] 885*2^1412132-1 is not prime. Res64: 452D641F481EA3B0 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:34:29] 923*2^1412132-1 is not prime. Res64: 57C9F512099791B9 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:34:29] 935*2^1412132-1 is not prime. Res64: 58CBBDD8EE9AD412 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:46:30] 963*2^1412132-1 is not prime. Res64: 0DFB449E3F6C8D20 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:46:30] 979*2^1412133-1 is not prime. Res64: E471B505FE48CD34 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:46:36] 605*2^1412134-1 is not prime. Res64: EA8F4C626C693B9A Time : 0.0 sec. user=mdettweiler [2015-10-15 00:46:36] 645*2^1412134-1 is not prime. Res64: A2A84D310E1B1193 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:47:24] 813*2^1412134-1 is not prime. Res64: 515D0D77D8CAD0B2 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:47:25] 815*2^1412134-1 is not prime. Res64: 899F592F0F2DC281 Time : 0.0 sec. user=mdettweiler [2015-10-15 00:52:17] 923*2^1412134-1 is not prime. Res64: CA15193872D8396B Time : 0.0 sec. user=mdettweiler [2015-10-15 00:52:17] 945*2^1412134-1 is not prime. Res64: B788541970DB191B Time : 0.0 sec. user=mdettweiler [2015-10-15 01:04:17] 649*2^1412135-1 is not prime. Res64: D1F01AA154A41524 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:04:18] 655*2^1412135-1 is not prime. Res64: 67C74E720E7693E1 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:04:22] 679*2^1412135-1 is not prime. Res64: 1530F1D3926B988F Time : 0.0 sec. user=mdettweiler [2015-10-15 01:04:24] 693*2^1412135-1 is not prime. Res64: C5B5BF219A128CC3 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:05:12] 763*2^1412135-1 is not prime. Res64: D44392CAA1182C96 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:05:14] 771*2^1412135-1 is not prime. Res64: 704AA3BE8DDD0B38 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:10:01] 855*2^1412135-1 is not prime. Res64: 00A89A649CB31CA9 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:10:02] 889*2^1412135-1 is not prime. Res64: 36A75E1B16E26EA2 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:22:23] 921*2^1412135-1 is not prime. Res64: 48A04B6565C2A8EF Time : 0.0 sec. user=mdettweiler [2015-10-15 01:22:23] 623*2^1412136-1 is not prime. Res64: 36CD99E60D0EDCF3 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:22:25] 629*2^1412136-1 is not prime. Res64: 4357966732A5D2B1 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:22:26] 857*2^1412136-1 is not prime. Res64: 979DB3E92EB5D189 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:22:59] 899*2^1412136-1 is not prime. Res64: E425460228501C4D Time : 0.0 sec. user=mdettweiler [2015-10-15 01:22:59] 927*2^1412136-1 is not prime. Res64: DC2BE6F3A96E4918 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:27:45] 983*2^1412136-1 is not prime. Res64: AB7727BF1841991B Time : 0.0 sec. user=mdettweiler [2015-10-15 01:27:46] 609*2^1412137-1 is not prime. Res64: 1135F2B1BF0BE7C9 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:40:02] 649*2^1412137-1 is not prime. Res64: 9CDEF441D6FF67BD Time : 0.0 sec. user=mdettweiler [2015-10-15 01:40:03] 661*2^1412137-1 is not prime. Res64: 292517E579FD6F97 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:40:14] 805*2^1412137-1 is not prime. Res64: 91A18D65C22C0D44 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:40:14] 889*2^1412137-1 is not prime. Res64: 4DABFF595A73BEE0 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:40:44] 915*2^1412137-1 is not prime. Res64: 62F68D879582D252 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:40:44] 957*2^1412137-1 is not prime. Res64: BCEB65845D4DFAE5 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:45:33] 975*2^1412137-1 is not prime. Res64: FB6C361F6CBA3C2B Time : 0.0 sec. user=mdettweiler [2015-10-15 01:45:34] 683*2^1412138-1 is not prime. Res64: A5888309CB2FFD9E Time : 0.0 sec. user=mdettweiler [2015-10-15 01:57:54] 773*2^1412138-1 is not prime. Res64: DDDBAEF9F13CF33C Time : 0.0 sec. user=mdettweiler [2015-10-15 01:57:54] 827*2^1412138-1 is not prime. Res64: CA7637516FF15458 Time : 0.0 sec. user=mdettweiler [2015-10-15 01:57:57] 707*2^1412138-1 is not prime. Res64: 57B8BB37E62BC78A Time : 0.0 sec. user=mdettweiler [2015-10-15 01:57:58] 771*2^1412138-1 is not prime. Res64: 2E90D90F8D32977A Time : 0.0 sec. user=mdettweiler [2015-10-15 01:58:28] 831*2^1412138-1 is not prime. Res64: A100DE9456CF8CFF Time : 0.0 sec. user=mdettweiler [2015-10-15 01:58:28] 735*2^1412139-1 is not prime. Res64: 76A4C3EFED80E20F Time : 0.0 sec. user=mdettweiler [2015-10-15 02:03:24] 843*2^1412139-1 is not prime. Res64: 0E8396563C50AC91 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:03:25] 765*2^1412140-1 is not prime. Res64: D63D5D664EEC40E2 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:16:54] 905*2^1412140-1 is not prime. Res64: 218CD7C0C381CAEE Time : 0.0 sec. user=mdettweiler [2015-10-15 02:16:55] 995*2^1412140-1 is not prime. Res64: 60AF5053BFB4F5E1 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:17:37] 777*2^1412140-1 is not prime. Res64: BEB7DADB7B840EED Time : 0.0 sec. user=mdettweiler [2015-10-15 02:17:37] 875*2^1412140-1 is not prime. Res64: 5F85E6F086ADC99C Time : 0.0 sec. user=mdettweiler [2015-10-15 02:17:41] 631*2^1412141-1 is not prime. Res64: D06BF3B84671506E Time : 0.0 sec. user=mdettweiler [2015-10-15 02:17:41] 691*2^1412141-1 is not prime. Res64: D0965C89F0E5E059 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:22:10] 861*2^1412141-1 is not prime. Res64: 4334E94528141B0B Time : 0.0 sec. user=mdettweiler [2015-10-15 02:22:11] 871*2^1412141-1 is not prime. Res64: 5AC524F3FBCA9C73 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:34:52] 979*2^1412141-1 is not prime. Res64: 5C9C5530426203C6 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:34:52] 725*2^1412142-1 is not prime. Res64: A0E0EA4669F9FA61 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:35:20] 741*2^1412142-1 is not prime. Res64: 63FFC1F3038F38A7 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:35:21] 747*2^1412142-1 is not prime. Res64: 1E24328FC0B3751F Time : 0.0 sec. user=mdettweiler [2015-10-15 02:35:21] 755*2^1412142-1 is not prime. Res64: 9AE65F27D27A3514 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:35:21] 797*2^1412142-1 is not prime. Res64: E6ED7F6ABD5DB3F0 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:39:55] 807*2^1412142-1 is not prime. Res64: C6961B18E3BB1873 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:39:55] 843*2^1412142-1 is not prime. Res64: DEA7B1D6746DCB0D Time : 0.0 sec. user=mdettweiler [2015-10-15 02:52:46] 921*2^1412142-1 is not prime. Res64: 8F9D6BA6691C3549 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:52:47] 951*2^1412142-1 is not prime. Res64: 4189D2AF1A474524 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:52:59] 977*2^1412142-1 is not prime. Res64: 8640E4CC06D42CDB Time : 0.0 sec. user=mdettweiler [2015-10-15 02:52:59] 633*2^1412143-1 is not prime. Res64: F531BE122EA4CE9A Time : 0.0 sec. user=mdettweiler [2015-10-15 02:53:10] 679*2^1412143-1 is not prime. Res64: 74BA89869343BDC7 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:53:11] 709*2^1412143-1 is not prime. Res64: 798C8C1B3AEE83F9 Time : 0.0 sec. user=mdettweiler [2015-10-15 02:57:34] 735*2^1412143-1 is not prime. Res64: DC2920830709ADEC Time : 0.0 sec. user=mdettweiler [2015-10-15 02:57:34] 751*2^1412143-1 is not prime. Res64: CA9A2ED448396CB5 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:10:35] 765*2^1412143-1 is not prime. Res64: 1694F89B098E7F81 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:10:35] 771*2^1412143-1 is not prime. Res64: C2E46ECB91EB05A8 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:10:39] 811*2^1412143-1 is not prime. Res64: DAE8E3B4A678D08E Time : 0.0 sec. user=mdettweiler [2015-10-15 03:10:40] 855*2^1412143-1 is not prime. Res64: 96A4C6D3D39E8AEA Time : 0.0 sec. user=mdettweiler [2015-10-15 03:10:59] 861*2^1412143-1 is not prime. Res64: 752DFC1D478F0922 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:10:59] 915*2^1412143-1 is not prime. Res64: 1D5B6154379F067C Time : 0.0 sec. user=mdettweiler [2015-10-15 03:15:20] 961*2^1412143-1 is not prime. Res64: 39022B653D700C41 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:15:20] 973*2^1412143-1 is not prime. Res64: 1458BDFD5997202F Time : 0.0 sec. user=mdettweiler [2015-10-15 03:28:22] 617*2^1412144-1 is not prime. Res64: 0162FF2AA2AF4FDD Time : 0.0 sec. user=mdettweiler [2015-10-15 03:28:23] 825*2^1412144-1 is not prime. Res64: C70B1AF2D7A385F8 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:28:31] 855*2^1412144-1 is not prime. Res64: B45A058F103DCF31 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:28:32] 857*2^1412144-1 is not prime. Res64: E2A2C7460A9436A1 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:28:44] 957*2^1412144-1 is not prime. Res64: A253735F9C76D3D6 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:28:46] 657*2^1412145-1 is not prime. Res64: 49ACA0980655E086 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:33:03] 739*2^1412145-1 is not prime. Res64: CD92878D3A1AAFEF Time : 0.0 sec. user=mdettweiler [2015-10-15 03:33:04] 789*2^1412145-1 is not prime. Res64: E82646893FCDA83F Time : 0.0 sec. user=mdettweiler [2015-10-15 03:46:09] 817*2^1412145-1 is not prime. Res64: 5DC3C225A2C7B1DA Time : 0.0 sec. user=mdettweiler [2015-10-15 03:46:10] 847*2^1412145-1 is not prime. Res64: 4710D5BAA07A67A2 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:46:14] 955*2^1412145-1 is not prime. Res64: 57C41095CF0C9083 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:46:17] 999*2^1412145-1 is not prime. Res64: 5173CA1BB3D11248 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:46:39] 603*2^1412146-1 is not prime. Res64: 63D8DEBB2E2BBC67 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:46:40] 677*2^1412146-1 is not prime. Res64: F9E5AF6096644A83 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:50:55] 723*2^1412146-1 is not prime. Res64: AE9034C69FFE8258 Time : 0.0 sec. user=mdettweiler [2015-10-15 03:50:56] 741*2^1412146-1 is not prime. Res64: 9CB5CCB3C890364A Time : 0.0 sec. user=mdettweiler [2015-10-15 04:04:27] 755*2^1412146-1 is not prime. Res64: D51098330D1E48C2 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:04:28] 861*2^1412146-1 is not prime. Res64: E59BD32060B5A790 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:04:29] 993*2^1412146-1 is not prime. Res64: CA67C37D43836399 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:04:30] 941*2^1412146-1 is not prime. Res64: 1B93A51C35E6B2D8 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:04:31] 715*2^1412147-1 is not prime. Res64: A121188266D9230A Time : 0.0 sec. user=mdettweiler [2015-10-15 04:04:32] 971*2^1412146-1 is not prime. Res64: 33E8AF52E01B9301 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:08:37] 733*2^1412147-1 is not prime. Res64: 7B6FCBA6D77670A4 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:08:37] 775*2^1412147-1 is not prime. Res64: 83B3B7DE642DECB2 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:22:21] 801*2^1412147-1 is not prime. Res64: C735C51584936FF3 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:22:21] 939*2^1412147-1 is not prime. Res64: B36C8AA1E2B8FA11 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:22:22] 973*2^1412147-1 is not prime. Res64: 584010F043097326 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:22:22] 999*2^1412147-1 is not prime. Res64: F82E9F58EDCDCEE1 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:22:29] 627*2^1412148-1 is not prime. Res64: 81DF4931715328F0 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:22:30] 635*2^1412148-1 is not prime. Res64: 68349E58B7BDEA79 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:26:23] 665*2^1412148-1 is not prime. Res64: D7842FD52F65EFE9 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:26:24] 669*2^1412148-1 is not prime. Res64: CC9274F206035CAD Time : 0.0 sec. user=mdettweiler [2015-10-15 04:40:13] 707*2^1412148-1 is not prime. Res64: E3BEEC7D79BA0A16 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:40:13] 777*2^1412148-1 is not prime. Res64: 3C89E0522C894F59 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:40:15] 783*2^1412148-1 is not prime. Res64: 5899250D062618A7 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:40:16] 899*2^1412148-1 is not prime. Res64: DB7B62C741435243 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:40:19] 947*2^1412148-1 is not prime. Res64: 38BC332284C043A4 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:40:19] 959*2^1412148-1 is not prime. Res64: C0E7342C368B503C Time : 0.0 sec. user=mdettweiler [2015-10-15 04:44:10] 977*2^1412148-1 is not prime. Res64: E200B4FAB7C157E9 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:44:11] 685*2^1412149-1 is not prime. Res64: 0E981374397873AC Time : 0.0 sec. user=mdettweiler [2015-10-15 04:58:11] 961*2^1412149-1 is not prime. Res64: 4A39D06744302A36 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:58:11] 635*2^1412150-1 is not prime. Res64: C037A045C9FEA1A8 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:58:14] 741*2^1412149-1 is not prime. Res64: E2DCD0BF6C866177 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:58:15] 757*2^1412149-1 is not prime. Res64: 678483AAB79AA865 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:58:15] 885*2^1412149-1 is not prime. Res64: D77ADB2D1A29DC25 Time : 0.0 sec. user=mdettweiler [2015-10-15 04:58:15] 931*2^1412149-1 is not prime. Res64: 257CC79479320958 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:02:00] 645*2^1412150-1 is not prime. Res64: 45A32C0E8D5EC464 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:02:01] 663*2^1412150-1 is not prime. Res64: 3D45964688A1C340 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:16:01] 615*2^1412151-1 is not prime. Res64: 0109357AC116E959 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:16:02] 885*2^1412150-1 is not prime. Res64: E594E52994D873AF Time : 0.0 sec. user=mdettweiler [2015-10-15 05:16:02] 625*2^1412151-1 is not prime. Res64: DF4CDA599AE4B0EB Time : 0.0 sec. user=mdettweiler [2015-10-15 05:16:02] 977*2^1412150-1 is not prime. Res64: 0065781B394DA905 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:16:05] 723*2^1412151-1 is not prime. Res64: A00726DCEF9ED2F4 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:16:06] 735*2^1412151-1 is not prime. Res64: 8FDD88177D611DF7 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:19:52] 781*2^1412151-1 is not prime. Res64: C0622CA12AC4DD65 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:19:52] 921*2^1412151-1 is not prime. Res64: 3F9DA5CF2817B8AA Time : 0.0 sec. user=mdettweiler [2015-10-15 05:33:45] 955*2^1412151-1 is not prime. Res64: D581371919452C4C Time : 0.0 sec. user=mdettweiler [2015-10-15 05:33:45] 609*2^1412152-1 is not prime. Res64: A05A93428F543319 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:33:47] 677*2^1412152-1 is not prime. Res64: BCFE0AB5C84F844B Time : 0.0 sec. user=mdettweiler [2015-10-15 05:33:48] 797*2^1412152-1 is not prime. Res64: 94AE013257995FE7 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:33:48] 635*2^1412152-1 is not prime. Res64: BA29568E05CCF553 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:33:48] 675*2^1412152-1 is not prime. Res64: 19685FD38129BD06 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:37:41] 957*2^1412152-1 is not prime. Res64: 079583C0D4670474 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:37:41] 989*2^1412152-1 is not prime. Res64: 650CEBF7FF567351 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:51:35] 771*2^1412153-1 is not prime. Res64: 3936BF69B5D3191A Time : 0.0 sec. user=mdettweiler [2015-10-15 05:51:35] 901*2^1412153-1 is not prime. Res64: 3A0524105C71AAE5 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:51:38] 981*2^1412153-1 is not prime. Res64: 645A2BEFF64075D2 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:51:38] 635*2^1412154-1 is not prime. Res64: 61A9DC30BD6CFB5A Time : 0.0 sec. user=mdettweiler [2015-10-15 05:51:41] 651*2^1412153-1 is not prime. Res64: CE99DFDF539818E8 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:51:42] 729*2^1412153-1 is not prime. Res64: 8DF5BD16D70F73A1 Time : 0.0 sec. user=mdettweiler [2015-10-15 05:55:30] 671*2^1412154-1 is not prime. Res64: 71B6EF1A587BE4AF Time : 0.0 sec. user=mdettweiler [2015-10-15 05:55:30] 791*2^1412154-1 is not prime. Res64: AC1DC93110C43997 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:09:20] 851*2^1412154-1 is not prime. Res64: B535F64F1FB5F152 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:09:20] 885*2^1412154-1 is not prime. Res64: A4F855402C1D0300 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:09:23] 735*2^1412155-1 is not prime. Res64: E5CC53DF9AF58C79 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:09:23] 891*2^1412154-1 is not prime. Res64: F3D79CAF5A8ABC0C Time : 0.0 sec. user=mdettweiler [2015-10-15 06:09:24] 759*2^1412155-1 is not prime. Res64: C96857150282B6A9 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:09:24] 693*2^1412155-1 is not prime. Res64: 47538EA701078130 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:13:13] 843*2^1412155-1 is not prime. Res64: 945E300635883EF6 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:13:14] 683*2^1412156-1 is not prime. Res64: C8EC8170C700FFC9 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:27:10] 935*2^1412156-1 is not prime. Res64: BD050BA72AD76553 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:27:10] 699*2^1412156-1 is not prime. Res64: 461E617736DAC065 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:27:10] 957*2^1412156-1 is not prime. Res64: 23B406F81DDFB57E Time : 0.0 sec. user=mdettweiler [2015-10-15 06:27:11] 837*2^1412156-1 is not prime. Res64: D69E76E450227096 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:27:11] 743*2^1412156-1 is not prime. Res64: 10D135B48EF81A9C Time : 0.0 sec. user=mdettweiler [2015-10-15 06:27:11] 873*2^1412156-1 is not prime. Res64: 7472235F0E290967 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:30:56] 963*2^1412156-1 is not prime. Res64: 36A29FD1216F1B98 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:30:57] 667*2^1412157-1 is not prime. Res64: CBDD6AC723B348BE Time : 0.0 sec. user=mdettweiler [2015-10-15 06:44:49] 695*2^1412158-1 is not prime. Res64: D98C26B547F82DB7 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:44:49] 791*2^1412158-1 is not prime. Res64: 4C96CC90462D4341 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:44:49] 885*2^1412157-1 is not prime. Res64: 38CFC78D53B3C1AD Time : 0.0 sec. user=mdettweiler [2015-10-15 06:44:50] 927*2^1412157-1 is not prime. Res64: 96C506A11C6F7642 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:44:58] 961*2^1412157-1 is not prime. Res64: CD31C33456392011 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:44:58] 657*2^1412158-1 is not prime. Res64: 94CE31DDF07FC1CC Time : 0.0 sec. user=mdettweiler [2015-10-15 06:48:39] 801*2^1412158-1 is not prime. Res64: 7794AB4E69638908 Time : 0.0 sec. user=mdettweiler [2015-10-15 06:48:39] 867*2^1412158-1 is not prime. Res64: AED3BD749C619A41 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:02:34] 945*2^1412158-1 is not prime. Res64: 399303205678F371 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:02:36] 951*2^1412158-1 is not prime. Res64: 5559E889373A27C4 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:02:41] 703*2^1412159-1 is not prime. Res64: B6CCB149802298B9 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:02:43] 711*2^1412159-1 is not prime. Res64: 88D710A7A4631A7D Time : 0.0 sec. user=mdettweiler [2015-10-15 07:02:44] 995*2^1412158-1 is not prime. Res64: 2B23DC87003ABC07 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:02:46] 669*2^1412159-1 is not prime. Res64: 732F1F81BED4654A Time : 0.0 sec. user=mdettweiler [2015-10-15 07:06:25] 855*2^1412159-1 is not prime. Res64: 4039B30A9A3C22AD Time : 0.0 sec. user=mdettweiler [2015-10-15 07:06:28] 895*2^1412159-1 is not prime. Res64: 4A17B3575090BD6D Time : 0.0 sec. user=mdettweiler [2015-10-15 07:20:43] 913*2^1412159-1 is not prime. Res64: 85015C211C607584 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:20:44] 635*2^1412160-1 is not prime. Res64: 153940CA1EEE6016 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:20:47] 759*2^1412160-1 is not prime. Res64: 440597555990814D Time : 0.0 sec. user=mdettweiler [2015-10-15 07:20:47] 713*2^1412160-1 is not prime. Res64: 314ECA2C8367298F Time : 0.0 sec. user=mdettweiler [2015-10-15 07:20:47] 909*2^1412160-1 is not prime. Res64: 5EDD9989D180B058 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:20:48] 737*2^1412160-1 is not prime. Res64: 3B615318ED8F4AC9 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:24:30] 607*2^1412161-1 is not prime. Res64: F01EAF994EA0336A Time : 0.0 sec. user=mdettweiler [2015-10-15 07:24:30] 789*2^1412161-1 is not prime. Res64: 92B1A38B2C9540DA Time : 0.0 sec. user=mdettweiler [2015-10-15 07:38:25] 979*2^1412161-1 is not prime. Res64: 32973D57D30272AC Time : 0.0 sec. user=mdettweiler [2015-10-15 07:38:25] 987*2^1412161-1 is not prime. Res64: 19258DE607EE7329 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:38:32] 847*2^1412161-1 is not prime. Res64: EB31149F27D8C8CE Time : 0.0 sec. user=mdettweiler [2015-10-15 07:38:33] 871*2^1412161-1 is not prime. Res64: EA0AC8CD216E32BB Time : 0.0 sec. user=mdettweiler [2015-10-15 07:38:40] 665*2^1412162-1 is not prime. Res64: CA3BE25360A47A7D Time : 0.0 sec. user=mdettweiler [2015-10-15 07:38:40] 797*2^1412162-1 is not prime. Res64: 75200460AD605662 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:42:13] 831*2^1412162-1 is not prime. Res64: 574FF1A6DED99706 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:42:13] 923*2^1412162-1 is not prime. Res64: 63FD400EBC3F53B2 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:56:13] 613*2^1412163-1 is not prime. Res64: 926DF2D547778382 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:56:13] 649*2^1412163-1 is not prime. Res64: D224562B38F2EAC0 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:56:14] 953*2^1412162-1 is not prime. Res64: 70052B2E317A07A3 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:56:14] 977*2^1412162-1 is not prime. Res64: B5563E57629A33B4 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:56:27] 675*2^1412163-1 is not prime. Res64: F8C80DCF8A93B6C7 Time : 0.0 sec. user=mdettweiler [2015-10-15 07:56:27] 703*2^1412163-1 is not prime. Res64: 52006F931D21CA99 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:00:04] 723*2^1412163-1 is not prime. Res64: 9BB876C77F0C72EE Time : 0.0 sec. user=mdettweiler [2015-10-15 08:00:05] 805*2^1412163-1 is not prime. Res64: 46900A5AE47B5E0F Time : 0.0 sec. user=mdettweiler [2015-10-15 08:13:57] 901*2^1412163-1 is not prime. Res64: 4B18779FFED0D2C3 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:13:58] 945*2^1412163-1 is not prime. Res64: C7F552AD9325385E Time : 0.0 sec. user=mdettweiler [2015-10-15 08:14:11] 963*2^1412163-1 is not prime. Res64: FF28278D885C1C1D Time : 0.0 sec. user=mdettweiler [2015-10-15 08:14:12] 623*2^1412164-1 is not prime. Res64: 395A67891E9A6F11 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:14:12] 695*2^1412164-1 is not prime. Res64: E3F11C59D250BF75 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:14:13] 765*2^1412164-1 is not prime. Res64: 534BAFF85FDC7EAE Time : 0.0 sec. user=mdettweiler [2015-10-15 08:17:49] 827*2^1412164-1 is not prime. Res64: 440F46FEEBFA600B Time : 0.0 sec. user=mdettweiler [2015-10-15 08:17:50] 873*2^1412164-1 is not prime. Res64: 7402667B83B783B1 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:31:36] 903*2^1412164-1 is not prime. Res64: F2154367AA6DE990 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:31:36] 939*2^1412164-1 is not prime. Res64: 81D1C71B12FD9E93 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:31:51] 685*2^1412165-1 is not prime. Res64: 067D2F21B05707C7 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:31:51] 799*2^1412165-1 is not prime. Res64: 6A5EC085F079E40E Time : 0.0 sec. user=mdettweiler [2015-10-15 08:31:57] 619*2^1412165-1 is not prime. Res64: 21A762F97CF17082 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:31:58] 651*2^1412165-1 is not prime. Res64: 733927C4F71D5D5F Time : 0.0 sec. user=mdettweiler [2015-10-15 08:35:39] 825*2^1412165-1 is not prime. Res64: D58E9A4084DE28EF Time : 0.0 sec. user=mdettweiler [2015-10-15 08:35:40] 969*2^1412165-1 is not prime. Res64: 3310472BADA8AA0A Time : 0.0 sec. user=mdettweiler [2015-10-15 08:49:26] 611*2^1412166-1 is not prime. Res64: 2054B1AEA7C74FC0 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:49:26] 705*2^1412166-1 is not prime. Res64: 9CF9C0FB6EA96251 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:49:37] 725*2^1412166-1 is not prime. Res64: A4A07E7C0A13BD9E Time : 0.0 sec. user=mdettweiler [2015-10-15 08:49:37] 917*2^1412166-1 is not prime. Res64: 438E0A3DD9CEAEE6 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:49:45] 971*2^1412166-1 is not prime. Res64: F1B12C65EDED9EC7 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:49:45] 609*2^1412167-1 is not prime. Res64: 2E306D7DB579C56B Time : 0.0 sec. user=mdettweiler [2015-10-15 08:53:26] 639*2^1412167-1 is not prime. Res64: D085EBEAC55B8B90 Time : 0.0 sec. user=mdettweiler [2015-10-15 08:53:27] 645*2^1412167-1 is not prime. Res64: E5FD34EB8C93AA8E Time : 0.0 sec. user=mdettweiler [2015-10-15 09:07:13] 871*2^1412167-1 is not prime. Res64: 34378F6E82449334 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:07:13] 657*2^1412168-1 is not prime. Res64: 94F27CB2F1E9C4B6 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:07:22] 797*2^1412168-1 is not prime. Res64: DC8BA62596801313 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:07:22] 827*2^1412168-1 is not prime. Res64: E011705B2E01122F Time : 0.0 sec. user=mdettweiler [2015-10-15 09:07:31] 845*2^1412168-1 is not prime. Res64: 0E8E219BD0215BA8 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:07:32] 855*2^1412168-1 is not prime. Res64: 51D72720DE51E2A7 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:11:16] 879*2^1412168-1 is not prime. Res64: 54294BFA8A1BC628 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:11:17] 929*2^1412168-1 is not prime. Res64: 91F75E9CC0EE8872 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:25:03] 963*2^1412168-1 is not prime. Res64: C67E4083E9F7AD81 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:25:04] 625*2^1412169-1 is not prime. Res64: CDE87111C68F7924 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:25:05] 639*2^1412169-1 is not prime. Res64: 8C3E3AD355DEA637 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:25:05] 657*2^1412169-1 is not prime. Res64: 2203D28A6D578ACB Time : 0.0 sec. user=mdettweiler [2015-10-15 09:25:20] 727*2^1412169-1 is not prime. Res64: CD7D607C198A38B7 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:25:20] 735*2^1412169-1 is not prime. Res64: 07FE134EE0C7F0BF Time : 0.0 sec. user=mdettweiler [2015-10-15 09:29:07] 817*2^1412169-1 is not prime. Res64: 9C8BB5567E0C980E Time : 0.0 sec. user=mdettweiler [2015-10-15 09:29:07] 991*2^1412169-1 is not prime. Res64: 660C4F9AE679E256 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:43:00] 803*2^1412170-1 is not prime. Res64: FD8598EE3D2F8D50 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:43:00] 861*2^1412170-1 is not prime. Res64: 9BD1D96283FCDE9F Time : 0.0 sec. user=mdettweiler [2015-10-15 09:43:07] 905*2^1412170-1 is not prime. Res64: 68DB1654F9B89ACD Time : 0.0 sec. user=mdettweiler [2015-10-15 09:43:07] 945*2^1412170-1 is not prime. Res64: 98A6AC6EF529FF4A Time : 0.0 sec. user=mdettweiler [2015-10-15 09:43:34] 975*2^1412170-1 is not prime. Res64: 47B86EB3330B54BD Time : 0.0 sec. user=mdettweiler [2015-10-15 09:43:34] 669*2^1412171-1 is not prime. Res64: BF467CDDFAB1CA7A Time : 0.0 sec. user=mdettweiler [2015-10-15 09:47:02] 693*2^1412171-1 is not prime. Res64: 567FB13ED11D0E45 Time : 0.0 sec. user=mdettweiler [2015-10-15 09:47:03] 745*2^1412171-1 is not prime. Res64: 5F95D12422F19D24 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:00:59] 871*2^1412171-1 is not prime. Res64: 61379649EE006D1E Time : 0.0 sec. user=mdettweiler [2015-10-15 10:01:01] 973*2^1412171-1 is not prime. Res64: D62880547039CF97 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:01:02] 753*2^1412171-1 is not prime. Res64: 1C84B6CD60BEE756 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:01:03] 859*2^1412171-1 is not prime. Res64: C6CFBA1CA394F3FB Time : 0.0 sec. user=mdettweiler [2015-10-15 10:01:23] 993*2^1412171-1 is not prime. Res64: 5A0CACE276A43A7C Time : 0.0 sec. user=mdettweiler [2015-10-15 10:01:23] 605*2^1412172-1 is not prime. Res64: 4E89931F78962D5B Time : 0.0 sec. user=mdettweiler [2015-10-15 10:04:56] 665*2^1412172-1 is not prime. Res64: 6BFCD3586EF03741 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:04:57] 947*2^1412172-1 is not prime. Res64: 1AF1B722BF928D53 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:18:51] 609*2^1412173-1 is not prime. Res64: 3A15A05277897C82 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:18:52] 699*2^1412173-1 is not prime. Res64: DDEB44541202B446 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:18:54] 771*2^1412173-1 is not prime. Res64: 1AAEA00AE1FA3900 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:18:55] 775*2^1412173-1 is not prime. Res64: C23E040B8C159F26 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:19:30] 817*2^1412173-1 is not prime. Res64: 3DC84297953AEFF6 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:19:31] 895*2^1412173-1 is not prime. Res64: 4926DE31C66A75EE Time : 0.0 sec. user=mdettweiler [2015-10-15 10:22:51] 683*2^1412174-1 is not prime. Res64: BD76D9C0473049D1 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:22:52] 711*2^1412174-1 is not prime. Res64: 0F628ACBB7B189A5 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:36:39] 833*2^1412174-1 is not prime. Res64: 989C0652B052D59F Time : 0.0 sec. user=mdettweiler [2015-10-15 10:36:39] 941*2^1412174-1 is not prime. Res64: 8162054022F9C4AB Time : 0.0 sec. user=mdettweiler [2015-10-15 10:36:42] 717*2^1412174-1 is not prime. Res64: 620D6CD36B8E44EB Time : 0.0 sec. user=mdettweiler [2015-10-15 10:36:43] 831*2^1412174-1 is not prime. Res64: CCA0818984FB874C Time : 0.0 sec. user=mdettweiler [2015-10-15 10:37:23] 1001*2^1412174-1 is not prime. Res64: D551170AC572AC3C Time : 0.0 sec. user=mdettweiler [2015-10-15 10:37:24] 619*2^1412175-1 is not prime. Res64: FD006A86F06A881D Time : 0.0 sec. user=mdettweiler [2015-10-15 10:40:51] 625*2^1412175-1 is not prime. Res64: 047C5256E21A18BF Time : 0.0 sec. user=mdettweiler [2015-10-15 10:40:51] 651*2^1412175-1 is not prime. Res64: 371E84566DCFB745 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:54:33] 783*2^1412175-1 is not prime. Res64: FD0A82276F582F9B Time : 0.0 sec. user=mdettweiler [2015-10-15 10:54:34] 789*2^1412175-1 is not prime. Res64: 1108C5D9BCC0C565 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:54:35] 691*2^1412175-1 is not prime. Res64: 0A3A9C5982E2D698 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:54:35] 693*2^1412175-1 is not prime. Res64: B3BEE2552D5984AD Time : 0.0 sec. user=mdettweiler [2015-10-15 10:55:14] 831*2^1412175-1 is not prime. Res64: 92C23DCA5C69A15E Time : 0.0 sec. user=mdettweiler [2015-10-15 10:55:14] 961*2^1412175-1 is not prime. Res64: 2880E96CED88E754 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:58:35] 963*2^1412175-1 is not prime. Res64: 82BAA60607B36DF4 Time : 0.0 sec. user=mdettweiler [2015-10-15 10:58:35] 985*2^1412175-1 is not prime. Res64: FFC88503D1A4C6D4 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:12:20] 623*2^1412176-1 is not prime. Res64: 03D0A01EEF80B8CC Time : 0.0 sec. user=mdettweiler [2015-10-15 11:12:20] 645*2^1412176-1 is not prime. Res64: 3C414001511765A5 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:12:25] 849*2^1412176-1 is not prime. Res64: 5407433C3848110D Time : 0.0 sec. user=mdettweiler [2015-10-15 11:12:25] 957*2^1412176-1 is not prime. Res64: 5E7859C412346BE9 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:13:00] 615*2^1412177-1 is not prime. Res64: BFA2F44872B08AB7 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:13:00] 735*2^1412177-1 is not prime. Res64: 5B726F1D4CA1B456 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:16:16] 805*2^1412177-1 is not prime. Res64: 7639BE6AD7F46275 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:16:16] 901*2^1412177-1 is not prime. Res64: 8E11FB7F79878B8F Time : 0.0 sec. user=mdettweiler [2015-10-15 11:30:05] 979*2^1412177-1 is not prime. Res64: 9B7B4C041F9E1E3F Time : 0.0 sec. user=mdettweiler [2015-10-15 11:30:05] 985*2^1412177-1 is not prime. Res64: DD6AA4117BFC8BA3 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:30:11] 945*2^1412177-1 is not prime. Res64: 5E993BC2A89C2B2E Time : 0.0 sec. user=mdettweiler [2015-10-15 11:30:12] 955*2^1412177-1 is not prime. Res64: 02D236D67E64B59E Time : 0.0 sec. user=mdettweiler [2015-10-15 11:30:44] 611*2^1412178-1 is not prime. Res64: 2D08BB1264469E30 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:30:44] 641*2^1412178-1 is not prime. Res64: D73A7A98709FAF37 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:34:01] 651*2^1412178-1 is not prime. Res64: A1A67022AD85813C Time : 0.0 sec. user=mdettweiler [2015-10-15 11:34:02] 765*2^1412178-1 is not prime. Res64: 7B3F41CC106237FA Time : 0.0 sec. user=mdettweiler [2015-10-15 11:47:57] 837*2^1412178-1 is not prime. Res64: 5DC6E909CE1D32C0 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:47:57] 867*2^1412178-1 is not prime. Res64: C9A9FA5E2084F899 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:48:07] 891*2^1412178-1 is not prime. Res64: 43F9823E7DB4ED75 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:48:07] 933*2^1412178-1 is not prime. Res64: C735145962406644 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:48:34] 975*2^1412178-1 is not prime. Res64: 7D757D63F92DA6B6 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:48:35] 609*2^1412179-1 is not prime. Res64: 7541EE2BAE8B8B46 Time : 0.0 sec. user=mdettweiler [2015-10-15 11:51:57] 615*2^1412179-1 is not prime. Res64: 40AAECD0E27775FE Time : 0.0 sec. user=mdettweiler [2015-10-15 11:51:58] 765*2^1412179-1 is not prime. Res64: 7EE2FD7EB70364D9 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:05:45] 913*2^1412179-1 is not prime. Res64: BBF8E6D9074301A9 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:05:48] 969*2^1412179-1 is not prime. Res64: 5C71609E27954A83 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:05:50] 993*2^1412179-1 is not prime. Res64: 9C3FAABA260D84C1 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:05:53] 609*2^1412180-1 is not prime. Res64: 880DB6FF355A88E9 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:06:21] 785*2^1412180-1 is not prime. Res64: 289C083608D3E880 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:06:23] 825*2^1412180-1 is not prime. Res64: CC8C2AC7379A19C2 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:09:43] 827*2^1412180-1 is not prime. Res64: 8E2BC1FBB83C9A9B Time : 0.0 sec. user=mdettweiler [2015-10-15 12:09:44] 885*2^1412180-1 is not prime. Res64: B2705EB35B4C9F5E Time : 0.0 sec. user=mdettweiler [2015-10-15 12:24:09] 897*2^1412180-1 is not prime. Res64: 2801E25E5D5F2C3E Time : 0.0 sec. user=mdettweiler [2015-10-15 12:24:10] 927*2^1412180-1 is not prime. Res64: C4C75A55E66622E2 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:24:14] 999*2^1412180-1 is not prime. Res64: AF0AC0B8E8DD1ADF Time : 0.0 sec. user=mdettweiler [2015-10-15 12:24:14] 639*2^1412181-1 is not prime. Res64: BE23DAEF05E31F62 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:24:20] 745*2^1412181-1 is not prime. Res64: 1D38A7B8EE4BED29 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:24:20] 611*2^1412182-1 is not prime. Res64: 4B4D8E0798177173 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:27:31] 737*2^1412182-1 is not prime. Res64: 0AAE8C6ADE49EC7C Time : 0.0 sec. user=mdettweiler [2015-10-15 12:27:31] 791*2^1412182-1 is not prime. Res64: 3C21C36738073829 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:41:49] 801*2^1412182-1 is not prime. Res64: BCE5DCD316EEDA7D Time : 0.0 sec. user=mdettweiler [2015-10-15 12:41:49] 675*2^1412183-1 is not prime. Res64: 458CD2FB53C53725 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:41:49] 987*2^1412182-1 is not prime. Res64: 0C2C044C37F2F79E Time : 0.0 sec. user=mdettweiler [2015-10-15 12:41:49] 781*2^1412183-1 is not prime. Res64: 70E2D4CA729D830E Time : 0.0 sec. user=mdettweiler [2015-10-15 12:42:09] 805*2^1412183-1 is not prime. Res64: BA3FB0B58B6E34D3 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:42:10] 819*2^1412183-1 is not prime. Res64: 87784A321F94EE3A Time : 0.0 sec. user=mdettweiler [2015-10-15 12:45:19] 991*2^1412183-1 is not prime. Res64: 81A11B23A8FD60EF Time : 0.0 sec. user=mdettweiler [2015-10-15 12:45:19] 663*2^1412184-1 is not prime. Res64: 6B976D77D0F208BD Time : 0.0 sec. user=mdettweiler [2015-10-15 12:59:43] 601*2^1412185-1 is not prime. Res64: 6C5C1E60B62B5CE5 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:59:43] 607*2^1412185-1 is not prime. Res64: 502A3905F05E6F8A Time : 0.0 sec. user=mdettweiler [2015-10-15 12:59:44] 675*2^1412184-1 is not prime. Res64: DECA85C248E271B1 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:59:44] 759*2^1412184-1 is not prime. Res64: 281414DC128B2618 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:59:55] 675*2^1412185-1 is not prime. Res64: 45DE5BF34B81BA09 Time : 0.0 sec. user=mdettweiler [2015-10-15 12:59:55] 699*2^1412185-1 is not prime. Res64: 8CFA557AAB459D1D Time : 0.0 sec. user=mdettweiler [2015-10-15 13:03:17] 721*2^1412185-1 is not prime. Res64: 7636D41B4904B216 Time : 0.0 sec. user=mdettweiler [2015-10-15 13:03:18] 831*2^1412185-1 is not prime. Res64: 8516FA84BF87F285 Time : 0.0 sec. user=mdettweiler [2015-10-15 13:17:25] 937*2^1412185-1 is not prime. Res64: AC63B50451D6804A Time : 0.0 sec. user=mdettweiler [2015-10-15 13:17:25] 955*2^1412185-1 is not prime. Res64: 24ABD027C32FF45C Time : 0.0 sec. user=mdettweiler [2015-10-15 13:17:27] 841*2^1412185-1 is not prime. Res64: D86EF78C072C4FB2 Time : 0.0 sec. user=mdettweiler [2015-10-15 13:17:27] 895*2^1412185-1 is not prime. Res64: F01347A3C46C974F Time : 0.0 sec. user=mdettweiler [2015-10-15 13:17:44] 603*2^1412186-1 is not prime. Res64: 157B20F3F506755C Time : 0.0 sec. user=mdettweiler [2015-10-15 13:17:45] 617*2^1412186-1 is not prime. Res64: 841745833F73A43F Time : 0.0 sec. user=mdettweiler [2015-10-15 13:21:20] 623*2^1412186-1 is not prime. Res64: 62A5D40C8207F60F Time : 0.0 sec. user=mdettweiler [2015-10-15 13:21:21] 683*2^1412186-1 is not prime. Res64: D41102783402FE64 Time : 0.0 sec. user=mdettweiler [2015-10-15 13:35:12] 705*2^1412186-1 is not prime. Res64: B877DB238026E0AA Time : 0.0 sec. user=mdettweiler [2015-10-15 13:35:13] 843*2^1412186-1 is not prime. Res64: CDF6766DA30CECA1 Time : 0.0 sec. user=mdettweiler [2015-10-15 13:35:14] 873*2^1412186-1 is not prime. Res64: C0A4464E9221D07F Time : 0.0 sec. user=mdettweiler [2015-10-15 13:35:14] 903*2^1412186-1 is not prime. Res64: 910FE1CBF682EEC7 Time : 0.0 sec. user=mdettweiler [2015-10-15 13:35:38] 917*2^1412186-1 is not prime. Res64: 2A1DEB404FE47188 Time : 0.0 sec. user=mdettweiler [2015-10-15 13:35:38] 963*2^1412186-1 is not prime. Res64: 07E4D55F126BE83C Time : 0.0 sec. user=mdettweiler [2015-10-15 13:39:05] 981*2^1412186-1 is not prime. Res64: AA949BDA9632CF96 Time : 0.0 sec. user=mdettweiler [2015-10-15 13:39:05] 739*2^1412187-1 is not prime. Res64: 416D31ABBF054A25 Time : 0.0 sec. user=mdettweiler [2015-10-15 13:53:01] 891*2^1412187-1 is not prime. Res64: C1FA8F35DA387981 Time : 0.0 sec. user=mdettweiler [2015-10-15 13:53:02] 949*2^1412187-1 is not prime. Res64: 250D1F1AF58C068A Time : 0.0 sec. user=mdettweiler [2015-10-15 13:53:02] 985*2^1412187-1 is not prime. Res64: 0C36B5C2FB15E9EF Time : 0.0 sec. user=mdettweiler [2015-10-15 13:53:02] 647*2^1412188-1 is not prime. Res64: 84965D2367F8D76C Time : 0.0 sec. user=mdettweiler [2015-10-15 13:53:25] 811*2^1412189-1 is not prime. Res64: 70B69500A2E2D91B Time : 0.0 sec. user=mdettweiler [2015-10-15 13:53:25] 991*2^1412189-1 is not prime. Res64: 6A4E3F5A08CD1F39 Time : 0.0 sec. user=mdettweiler [2015-10-15 13:57:00] 713*2^1412190-1 is not prime. Res64: 71E68704BEF559FE Time : 0.0 sec. user=mdettweiler [2015-10-15 13:57:00] 717*2^1412190-1 is not prime. Res64: CB73D46ECEEF2481 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:10:43] 845*2^1412190-1 is not prime. Res64: 5DDBF52CB9942B33 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:10:43] 765*2^1412190-1 is not prime. Res64: 2375E94395A01BB7 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:10:43] 867*2^1412190-1 is not prime. Res64: 47D34B537D036615 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:10:44] 795*2^1412190-1 is not prime. Res64: 5CD5F3CD787390C2 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:11:06] 873*2^1412190-1 is not prime. Res64: 5BB8DEF5C9B304F3 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:11:06] 603*2^1412191-1 is not prime. Res64: FF406198AD88A170 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:14:50] 625*2^1412191-1 is not prime. Res64: 027F5A16F2BC98DC Time : 0.0 sec. user=mdettweiler [2015-10-15 14:14:51] 651*2^1412191-1 is not prime. Res64: 34BFC64EB34166AD Time : 0.0 sec. user=mdettweiler [2015-10-15 14:28:35] 661*2^1412191-1 is not prime. Res64: 7402126F7263F850 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:28:36] 705*2^1412191-1 is not prime. Res64: 11BE7375D3A9C0C4 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:28:40] 709*2^1412191-1 is not prime. Res64: DA6F121A427810A9 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:28:40] 723*2^1412191-1 is not prime. Res64: EE14E6CBDD7FB1EE Time : 0.0 sec. user=mdettweiler [2015-10-15 14:28:59] 735*2^1412191-1 is not prime. Res64: 9F10EE728C8232E6 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:28:59] 813*2^1412191-1 is not prime. Res64: 3F15A63300441711 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:32:51] 961*2^1412191-1 is not prime. Res64: 74C43B0B150D2ABF Time : 0.0 sec. user=mdettweiler [2015-10-15 14:32:51] 617*2^1412192-1 is not prime. Res64: DD700CDBBBFA61C2 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:46:28] 623*2^1412192-1 is not prime. Res64: 802360F14A3181E2 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:46:28] 677*2^1412192-1 is not prime. Res64: 09DEF23E4D85BFC8 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:46:39] 699*2^1412192-1 is not prime. Res64: D2164010E854AEC0 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:46:39] 767*2^1412192-1 is not prime. Res64: 61D9258CC9EB9ED5 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:46:43] 813*2^1412192-1 is not prime. Res64: CEC82AB8F4BD1FB0 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:46:43] 815*2^1412192-1 is not prime. Res64: 5BD99895DDF65CFD Time : 0.0 sec. user=mdettweiler [2015-10-15 14:50:36] 833*2^1412192-1 is not prime. Res64: E67F3DD6DF7F89A1 Time : 0.0 sec. user=mdettweiler [2015-10-15 14:50:36] 903*2^1412192-1 is not prime. Res64: 61039270A82D8DF2 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:04:18] 959*2^1412192-1 is not prime. Res64: 5C59A2B6897E66C5 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:04:21] 995*2^1412192-1 is not prime. Res64: 233B730E7A507006 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:04:32] 625*2^1412193-1 is not prime. Res64: 4FD9F426B2344330 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:04:33] 649*2^1412193-1 is not prime. Res64: A58EC833D7A5A571 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:04:40] 727*2^1412193-1 is not prime. Res64: 30A62FC0EB985A4D Time : 0.0 sec. user=mdettweiler [2015-10-15 15:04:42] 759*2^1412193-1 is not prime. Res64: 586B523C03D63587 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:08:43] 849*2^1412193-1 is not prime. Res64: 1843461929EF887A Time : 0.0 sec. user=mdettweiler [2015-10-15 15:08:44] 915*2^1412193-1 is not prime. Res64: C08D0E54F66321E4 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:23:06] 921*2^1412193-1 is not prime. Res64: 38C05C74FE119BF8 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:23:07] 651*2^1412194-1 is not prime. Res64: A921E06740AB454A Time : 0.0 sec. user=mdettweiler [2015-10-15 15:23:11] 663*2^1412194-1 is not prime. Res64: CB97739C442A48C7 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:23:11] 681*2^1412194-1 is not prime. Res64: 4BCFFA94EFFFA180 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:23:23] 705*2^1412194-1 is not prime. Res64: A92AC4F140629D85 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:23:23] 741*2^1412194-1 is not prime. Res64: 31B2A673669C01A0 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:27:18] 765*2^1412194-1 is not prime. Res64: D25C8EED037D5DA2 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:27:19] 825*2^1412194-1 is not prime. Res64: B9A86EAE3B2E87B5 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:41:30] 1001*2^1412194-1 is not prime. Res64: 8D9FC3378849A487 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:41:30] 823*2^1412195-1 is not prime. Res64: FA3FEF74780FE04C Time : 0.0 sec. user=mdettweiler [2015-10-15 15:41:40] 859*2^1412195-1 is not prime. Res64: B403E580F6DCBE88 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:41:41] 633*2^1412196-1 is not prime. Res64: 8283BDC6CDEB8E12 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:41:53] 669*2^1412196-1 is not prime. Res64: 242D22E2CD085D4C Time : 0.0 sec. user=mdettweiler [2015-10-15 15:41:53] 857*2^1412196-1 is not prime. Res64: 4A1EBC5BE000E4FD Time : 0.0 sec. user=mdettweiler [2015-10-15 15:46:00] 747*2^1412197-1 is not prime. Res64: 45C75D037AEF2FB8 Time : 0.0 sec. user=mdettweiler [2015-10-15 15:46:00] 817*2^1412197-1 is not prime. Res64: 89A66ABE80120B0B Time : 0.0 sec. user=mdettweiler [2015-10-15 16:00:00] 825*2^1412197-1 is not prime. Res64: 416B5A81441538E4 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:00:00] 829*2^1412197-1 is not prime. Res64: F1027A1E58A47C5E Time : 0.0 sec. user=mdettweiler [2015-10-15 16:00:12] 939*2^1412197-1 is not prime. Res64: DE4828B8F52C067D Time : 0.0 sec. user=mdettweiler [2015-10-15 16:00:13] 627*2^1412198-1 is not prime. Res64: 5CB992E572D469B1 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:00:20] 635*2^1412198-1 is not prime. Res64: C5F2560B397FCB94 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:00:21] 731*2^1412198-1 is not prime. Res64: 85C1A80C7AF23ADE Time : 0.0 sec. user=mdettweiler [2015-10-15 16:04:27] 747*2^1412198-1 is not prime. Res64: 36914F930B67F885 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:04:28] 791*2^1412198-1 is not prime. Res64: 03AED5002EAB19A7 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:18:21] 825*2^1412198-1 is not prime. Res64: 7E524BB373EAE0B3 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:18:22] 845*2^1412198-1 is not prime. Res64: 837FD73A9C751EFB Time : 0.0 sec. user=mdettweiler [2015-10-15 16:18:40] 751*2^1412199-1 is not prime. Res64: F2E21C2154514867 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:18:41] 789*2^1412199-1 is not prime. Res64: 9E051EF24FB776EC Time : 0.0 sec. user=mdettweiler [2015-10-15 16:18:44] 861*2^1412198-1 is not prime. Res64: 9B1A06896FF173AE Time : 0.0 sec. user=mdettweiler [2015-10-15 16:18:44] 957*2^1412198-1 is not prime. Res64: 31379117AAF74A50 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:22:52] 861*2^1412199-1 is not prime. Res64: A753038E34926A68 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:22:52] 865*2^1412199-1 is not prime. Res64: 8909CA7DA1D2070E Time : 0.0 sec. user=mdettweiler [2015-10-15 16:36:48] 943*2^1412199-1 is not prime. Res64: F886825BA09CE749 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:36:48] 615*2^1412200-1 is not prime. Res64: 69E86AED936A3EB9 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:37:02] 623*2^1412200-1 is not prime. Res64: BE2297587E8CBB5B Time : 0.0 sec. user=mdettweiler [2015-10-15 16:37:02] 713*2^1412200-1 is not prime. Res64: 57A234254D1B70FD Time : 0.0 sec. user=mdettweiler [2015-10-15 16:37:14] 759*2^1412200-1 is not prime. Res64: 61B37FEC36D03770 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:37:15] 765*2^1412200-1 is not prime. Res64: CDD142912E089F1E Time : 0.0 sec. user=mdettweiler [2015-10-15 16:41:11] 849*2^1412200-1 is not prime. Res64: 0F55E5AF628B34FF Time : 0.0 sec. user=mdettweiler [2015-10-15 16:41:11] 857*2^1412200-1 is not prime. Res64: AB29ECC95CD8DDDB Time : 0.0 sec. user=mdettweiler [2015-10-15 16:55:32] 915*2^1412200-1 is not prime. Res64: E90A251D505C0734 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:55:32] 927*2^1412200-1 is not prime. Res64: 141B076C58EFEC71 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:55:40] 975*2^1412200-1 is not prime. Res64: E8FF4546E2F453F9 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:55:41] 697*2^1412201-1 is not prime. Res64: D0D2BFE0A1492962 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:56:13] 769*2^1412201-1 is not prime. Res64: E6DC17547BA87C85 Time : 0.0 sec. user=mdettweiler [2015-10-15 16:56:14] 925*2^1412201-1 is not prime. Res64: 46F62A3F6B109372 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:01:34] 951*2^1412201-1 is not prime. Res64: 081D7E4D901A57E3 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:01:35] 621*2^1412202-1 is not prime. Res64: 0DCD610EEDBA7E84 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:17:03] 657*2^1412202-1 is not prime. Res64: AF1840C68FCFAA5C Time : 0.0 sec. user=mdettweiler [2015-10-15 17:17:04] 683*2^1412202-1 is not prime. Res64: 53AF247E83B447D7 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:17:18] 735*2^1412202-1 is not prime. Res64: DECDC322D82A98C2 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:17:18] 741*2^1412202-1 is not prime. Res64: B733BD1D9B0FAAA9 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:17:29] 747*2^1412202-1 is not prime. Res64: 555D2BEBD3A58446 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:17:30] 887*2^1412202-1 is not prime. Res64: 7ACF73F535586A59 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:22:07] 893*2^1412202-1 is not prime. Res64: D622554E7AC1E711 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:22:08] 615*2^1412203-1 is not prime. Res64: ED9AE27A6C61D796 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:40:31] 691*2^1412203-1 is not prime. Res64: C3902ADA04B0B59E Time : 0.0 sec. user=mdettweiler [2015-10-15 17:40:31] 693*2^1412203-1 is not prime. Res64: FCFA2B50CC47DA48 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:40:36] 709*2^1412203-1 is not prime. Res64: 33D2C75755B9DF4C Time : 0.0 sec. user=mdettweiler [2015-10-15 17:40:37] 861*2^1412203-1 is not prime. Res64: 2AA26C0EA6BDE262 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:41:12] 707*2^1412204-1 is not prime. Res64: CE2E87C98F1A9CE4 Time : 0.0 sec. user=mdettweiler [2015-10-15 17:41:13] 759*2^1412204-1 is not prime. Res64: 2DEEEC04EDFF174F Time : 0.0 sec. user=mdettweiler [2015-10-15 17:47:45] 875*2^1412204-1 is not prime. Res64: 1DB637BB3299FB8A Time : 0.0 sec. user=mdettweiler [2015-10-15 17:47:45] 885*2^1412204-1 is not prime. Res64: A1AB9F85A99D3048 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:09:05] 649*2^1412205-1 is not prime. Res64: 96E55E0984FA881A Time : 0.0 sec. user=mdettweiler [2015-10-15 18:09:05] 891*2^1412205-1 is not prime. Res64: DC9CA723F2D18E33 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:09:41] 923*2^1412204-1 is not prime. Res64: DC4202D6F14FBFB8 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:09:41] 929*2^1412204-1 is not prime. Res64: C5B2779C413B88FF Time : 0.0 sec. user=mdettweiler [2015-10-15 18:10:07] 961*2^1412205-1 is not prime. Res64: AD4C7C6D0C8E19B8 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:10:07] 979*2^1412205-1 is not prime. Res64: A9DDC08ACC5E6696 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:14:09] 623*2^1412206-1 is not prime. Res64: 2F506F61DD8CB83E Time : 0.0 sec. user=mdettweiler [2015-10-15 18:14:09] 873*2^1412206-1 is not prime. Res64: F1C7ABC0DF42A370 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:27:20] 975*2^1412206-1 is not prime. Res64: 7BA044F2EC69A20B Time : 0.0 sec. user=mdettweiler [2015-10-15 18:27:20] 1001*2^1412206-1 is not prime. Res64: 965CF37AA11BD8BA Time : 0.0 sec. user=mdettweiler [2015-10-15 18:27:56] 643*2^1412207-1 is not prime. Res64: 8758822212FC712B Time : 0.0 sec. user=mdettweiler [2015-10-15 18:27:56] 741*2^1412207-1 is not prime. Res64: A356495B34154C74 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:28:18] 775*2^1412207-1 is not prime. Res64: 887A9C0B2295EF73 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:28:18] 979*2^1412207-1 is not prime. Res64: 0671B44AD78C3F43 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:32:00] 981*2^1412207-1 is not prime. Res64: AC266FBCCA98F6AC Time : 0.0 sec. user=mdettweiler [2015-10-15 18:32:01] 663*2^1412208-1 is not prime. Res64: 8CD0DFE064749DF7 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:45:14] 737*2^1412208-1 is not prime. Res64: 014673F46A7852A2 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:45:15] 789*2^1412208-1 is not prime. Res64: 236BD379DCE7F554 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:45:53] 845*2^1412208-1 is not prime. Res64: 393295B39C8872BE Time : 0.0 sec. user=mdettweiler [2015-10-15 18:45:53] 927*2^1412208-1 is not prime. Res64: 0D4F9B039F8BCA50 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:46:19] 977*2^1412208-1 is not prime. Res64: B10E3E11BACC2B03 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:46:19] 601*2^1412209-1 is not prime. Res64: 12B071F769E09748 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:49:56] 765*2^1412209-1 is not prime. Res64: 55187DDC8B5EEE17 Time : 0.0 sec. user=mdettweiler [2015-10-15 18:49:56] 771*2^1412209-1 is not prime. Res64: 5E113C257CFF69D9 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:03:04] 801*2^1412209-1 is not prime. Res64: F0ACDC154B487047 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:03:05] 861*2^1412209-1 is not prime. Res64: EC011FD8326AA79A Time : 0.0 sec. user=mdettweiler [2015-10-15 19:03:49] 687*2^1412210-1 is not prime. Res64: 9A3DEF51ABF66217 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:03:50] 711*2^1412210-1 is not prime. Res64: F6418782E289A26D Time : 0.0 sec. user=mdettweiler [2015-10-15 19:04:16] 743*2^1412210-1 is not prime. Res64: 2C36528027C5B39B Time : 0.0 sec. user=mdettweiler [2015-10-15 19:04:17] 791*2^1412210-1 is not prime. Res64: 7B9F9AAF497803E7 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:07:46] 801*2^1412210-1 is not prime. Res64: CF6718A3C657F2A6 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:07:46] 691*2^1412211-1 is not prime. Res64: 32C9A5CA33813620 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:21:05] 705*2^1412211-1 is not prime. Res64: 94D6290E15DC309A Time : 0.0 sec. user=mdettweiler [2015-10-15 19:21:06] 783*2^1412211-1 is not prime. Res64: C0688F4DD8A066CF Time : 0.0 sec. user=mdettweiler [2015-10-15 19:21:49] 859*2^1412211-1 is not prime. Res64: FF3BCDE9FEEB01FB Time : 0.0 sec. user=mdettweiler [2015-10-15 19:21:50] 895*2^1412211-1 is not prime. Res64: 60BDC52B3D7A2C6F Time : 0.0 sec. user=mdettweiler [2015-10-15 19:22:10] 979*2^1412211-1 is not prime. Res64: EDCB3DB38B563036 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:22:10] 657*2^1412212-1 is not prime. Res64: 869ED3BA2852AA5B Time : 0.0 sec. user=mdettweiler [2015-10-15 19:25:39] 677*2^1412212-1 is not prime. Res64: EFEF456693556730 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:25:40] 743*2^1412212-1 is not prime. Res64: 9D2E75DEA234060D Time : 0.0 sec. user=mdettweiler [2015-10-15 19:39:08] 777*2^1412212-1 is not prime. Res64: F21FDE8529479210 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:39:08] 833*2^1412212-1 is not prime. Res64: E43EE1F76017DB4E Time : 0.0 sec. user=mdettweiler [2015-10-15 19:39:45] 989*2^1412212-1 is not prime. Res64: 8FF4ACF5BC7B851D Time : 0.0 sec. user=mdettweiler [2015-10-15 19:39:45] 995*2^1412212-1 is not prime. Res64: 122A4FFBCFB07471 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:40:06] 631*2^1412213-1 is not prime. Res64: 59DF3D958DEACD4F Time : 0.0 sec. user=mdettweiler [2015-10-15 19:40:06] 805*2^1412213-1 is not prime. Res64: 978BD6AB91853A4F Time : 0.0 sec. user=mdettweiler [2015-10-15 19:43:40] 885*2^1412213-1 is not prime. Res64: A545FAD6FFED0A2D Time : 0.0 sec. user=mdettweiler [2015-10-15 19:43:41] 897*2^1412213-1 is not prime. Res64: 180C18606178813D Time : 0.0 sec. user=mdettweiler [2015-10-15 19:57:13] 949*2^1412213-1 is not prime. Res64: BF623550990FEE81 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:57:13] 723*2^1412214-1 is not prime. Res64: 8C64035355334F24 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:57:34] 795*2^1412214-1 is not prime. Res64: C909BC43D014705A Time : 0.0 sec. user=mdettweiler [2015-10-15 19:57:35] 903*2^1412214-1 is not prime. Res64: 1D358DD0E564FB66 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:58:00] 945*2^1412214-1 is not prime. Res64: 684FC6BE17DA38C3 Time : 0.0 sec. user=mdettweiler [2015-10-15 19:58:00] 951*2^1412214-1 is not prime. Res64: DDB4E70445DEEDD5 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:01:36] 965*2^1412214-1 is not prime. Res64: 85A91CB1F19B240B Time : 0.0 sec. user=mdettweiler [2015-10-15 20:01:37] 603*2^1412215-1 is not prime. Res64: A0EF6F93E1C9D3A6 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:15:07] 793*2^1412215-1 is not prime. Res64: AD2ECF1D48D845CF Time : 0.0 sec. user=mdettweiler [2015-10-15 20:15:08] 871*2^1412215-1 is not prime. Res64: BECF1B663C29F51B Time : 0.0 sec. user=mdettweiler [2015-10-15 20:15:27] 891*2^1412215-1 is not prime. Res64: F27E83BCAAA5E135 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:15:27] 939*2^1412215-1 is not prime. Res64: 90C98E7537D22E70 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:15:54] 717*2^1412216-1 is not prime. Res64: 56D0F35344F5271D Time : 0.0 sec. user=mdettweiler [2015-10-15 20:15:54] 747*2^1412216-1 is not prime. Res64: A3131189B4ED5E0E Time : 0.0 sec. user=mdettweiler [2015-10-15 20:19:34] 825*2^1412216-1 is not prime. Res64: CF62846EA72A46FF Time : 0.0 sec. user=mdettweiler [2015-10-15 20:19:34] 899*2^1412216-1 is not prime. Res64: 6CB23581674B8DBC Time : 0.0 sec. user=mdettweiler [2015-10-15 20:33:09] 917*2^1412216-1 is not prime. Res64: B5139F1258ECFEE3 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:33:10] 993*2^1412216-1 is not prime. Res64: EDBBFD62CA4FDEBF Time : 0.0 sec. user=mdettweiler [2015-10-15 20:33:23] 669*2^1412217-1 is not prime. Res64: D6B114D07896A643 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:33:23] 847*2^1412217-1 is not prime. Res64: 2BD6B52B9AA160C6 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:33:54] 901*2^1412217-1 is not prime. Res64: 099CB74A5ACE4086 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:33:54] 945*2^1412217-1 is not prime. Res64: 7E2B7A62D887AFA9 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:37:36] 603*2^1412218-1 is not prime. Res64: 8BB45992A8EAA3A5 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:37:37] 671*2^1412218-1 is not prime. Res64: BD3C3B71D45F5E0C Time : 0.0 sec. user=mdettweiler [2015-10-15 20:51:06] 923*2^1412218-1 is not prime. Res64: 3834399ACD552EBF Time : 0.0 sec. user=mdettweiler [2015-10-15 20:51:07] 615*2^1412219-1 is not prime. Res64: EA785210319A336B Time : 0.0 sec. user=mdettweiler [2015-10-15 20:51:08] 755*2^1412218-1 is not prime. Res64: 19FCAE8DA87277FE Time : 0.0 sec. user=mdettweiler [2015-10-15 20:51:08] 911*2^1412218-1 is not prime. Res64: 3120AC9C259254B2 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:51:47] 619*2^1412219-1 is not prime. Res64: FDE6CA152E44757F Time : 0.0 sec. user=mdettweiler [2015-10-15 20:51:48] 663*2^1412219-1 is not prime. Res64: 7C7B87DEFB6B5D25 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:55:28] 685*2^1412219-1 is not prime. Res64: B472A127CE7A6401 Time : 0.0 sec. user=mdettweiler [2015-10-15 20:55:29] 735*2^1412219-1 is not prime. Res64: 01334D476D3CEEEC Time : 0.0 sec. user=mdettweiler [2015-10-15 21:08:59] 813*2^1412219-1 is not prime. Res64: 23DD062151FADA42 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:08:59] 889*2^1412219-1 is not prime. Res64: 5DB3C0A56D20CF8E Time : 0.0 sec. user=mdettweiler [2015-10-15 21:09:02] 993*2^1412219-1 is not prime. Res64: B973C26EDB7F78D6 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:09:02] 707*2^1412220-1 is not prime. Res64: 0FD626C68ECCCED3 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:09:47] 719*2^1412220-1 is not prime. Res64: 2814FE0E25163F2E Time : 0.0 sec. user=mdettweiler [2015-10-15 21:09:48] 737*2^1412220-1 is not prime. Res64: EECE2AC35BF31656 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:13:16] 753*2^1412220-1 is not prime. Res64: 08886C00FDB0CABB Time : 0.0 sec. user=mdettweiler [2015-10-15 21:13:17] 863*2^1412220-1 is not prime. Res64: 9E75DAB6B9CD577C Time : 0.0 sec. user=mdettweiler [2015-10-15 21:26:48] 873*2^1412220-1 is not prime. Res64: 0290D65031879883 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:26:48] 909*2^1412220-1 is not prime. Res64: 15D79A542B0A05C3 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:26:50] 927*2^1412220-1 is not prime. Res64: 3B29F3383FA4D828 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:26:50] 945*2^1412220-1 is not prime. Res64: FBB24361B96C19F4 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:27:40] 601*2^1412221-1 is not prime. Res64: F9C42BF17A20042F Time : 0.0 sec. user=mdettweiler [2015-10-15 21:27:40] 687*2^1412221-1 is not prime. Res64: 7686A8FAD879C812 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:31:08] 801*2^1412221-1 is not prime. Res64: 53E5C46C319007C7 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:31:09] 805*2^1412221-1 is not prime. Res64: B57B27F6824093A3 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:44:45] 975*2^1412221-1 is not prime. Res64: 934AA28E9BBA1D38 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:44:45] 657*2^1412222-1 is not prime. Res64: C2DB5E6A4D0997BD Time : 0.0 sec. user=mdettweiler [2015-10-15 21:44:47] 797*2^1412222-1 is not prime. Res64: 50479A50854FDE4F Time : 0.0 sec. user=mdettweiler [2015-10-15 21:44:47] 843*2^1412222-1 is not prime. Res64: D219A7D877FF731C Time : 0.0 sec. user=mdettweiler [2015-10-15 21:45:34] 887*2^1412222-1 is not prime. Res64: 251DC707C47B6DC9 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:45:34] 609*2^1412223-1 is not prime. Res64: 21B822EFF5C61A95 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:49:03] 679*2^1412223-1 is not prime. Res64: FA72B3543D1973A1 Time : 0.0 sec. user=mdettweiler [2015-10-15 21:49:03] 691*2^1412223-1 is not prime. Res64: 485A13C41152431F Time : 0.0 sec. user=mdettweiler [2015-10-15 22:02:37] 693*2^1412223-1 is not prime. Res64: AED512F97D82A661 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:02:38] 705*2^1412223-1 is not prime. Res64: 2F11F6E7C9435E6F Time : 0.0 sec. user=mdettweiler [2015-10-15 22:02:38] 805*2^1412223-1 is not prime. Res64: 27BF199C0AD25FAD Time : 0.0 sec. user=mdettweiler [2015-10-15 22:02:39] 873*2^1412223-1 is not prime. Res64: 545696FD30161218 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:03:27] 719*2^1412224-1 is not prime. Res64: 73FF9078B3C2E638 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:03:28] 747*2^1412224-1 is not prime. Res64: A5119D2CC95637A8 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:06:51] 765*2^1412224-1 is not prime. Res64: 306C376CF96D617F Time : 0.0 sec. user=mdettweiler [2015-10-15 22:06:52] 813*2^1412224-1 is not prime. Res64: 49412EB28770FFD0 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:20:29] 989*2^1412224-1 is not prime. Res64: 49492940F3826D6A Time : 0.0 sec. user=mdettweiler [2015-10-15 22:20:29] 657*2^1412225-1 is not prime. Res64: 7872F6A3441FF6BF Time : 0.0 sec. user=mdettweiler [2015-10-15 22:20:30] 795*2^1412225-1 is not prime. Res64: 1C681FF9FE403E2D Time : 0.0 sec. user=mdettweiler [2015-10-15 22:20:30] 645*2^1412225-1 is not prime. Res64: DA08EF5F1B08DF18 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:21:18] 831*2^1412225-1 is not prime. Res64: 8230516B278667E5 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:21:18] 915*2^1412225-1 is not prime. Res64: 2B9208FFEA6BF265 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:24:57] 991*2^1412225-1 is not prime. Res64: AE55C1CF28CBE191 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:24:58] 713*2^1412226-1 is not prime. Res64: AD7AF74287CEC84D Time : 0.0 sec. user=mdettweiler [2015-10-15 22:38:27] 947*2^1412226-1 is not prime. Res64: 9B7E0450D65B54E7 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:38:27] 963*2^1412226-1 is not prime. Res64: D2F279C5501ECA5D Time : 0.0 sec. user=mdettweiler [2015-10-15 22:38:30] 861*2^1412226-1 is not prime. Res64: 9B8EC8F767D92A64 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:38:31] 945*2^1412226-1 is not prime. Res64: 295419FAEA55ABC0 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:39:08] 983*2^1412226-1 is not prime. Res64: 6BBC371CF371EAC9 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:39:09] 609*2^1412227-1 is not prime. Res64: E131D761AD053264 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:42:54] 645*2^1412227-1 is not prime. Res64: 3417401F264F183A Time : 0.0 sec. user=mdettweiler [2015-10-15 22:42:54] 663*2^1412227-1 is not prime. Res64: 11B53724147B5BCC Time : 0.0 sec. user=mdettweiler [2015-10-15 22:56:36] 891*2^1412227-1 is not prime. Res64: E3B6F854C08800E5 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:56:36] 961*2^1412227-1 is not prime. Res64: D6C6E37DE5CD15A3 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:56:47] 603*2^1412228-1 is not prime. Res64: B59FFDF36C1A3B8A Time : 0.0 sec. user=mdettweiler [2015-10-15 22:56:47] 635*2^1412228-1 is not prime. Res64: F8D0DC44C40D3B67 Time : 0.0 sec. user=mdettweiler [2015-10-15 22:57:15] 677*2^1412228-1 is not prime. Res64: BB658561CEA2482F Time : 0.0 sec. user=mdettweiler [2015-10-15 22:57:15] 813*2^1412228-1 is not prime. Res64: CE4CAE641C4F10DC Time : 0.0 sec. user=mdettweiler [2015-10-15 23:01:15] 855*2^1412228-1 is not prime. Res64: EDE756C9B3558441 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:01:15] 909*2^1412228-1 is not prime. Res64: A148E352B7561B21 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:15:18] 977*2^1412228-1 is not prime. Res64: 20914A53AA8B20C4 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:15:18] 999*2^1412228-1 is not prime. Res64: C3D49D3CF3230D66 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:15:36] 727*2^1412229-1 is not prime. Res64: F1E46B71EB7FAF8E Time : 0.0 sec. user=mdettweiler [2015-10-15 23:15:37] 759*2^1412229-1 is not prime. Res64: 04CC45A55FFC2F5D Time : 0.0 sec. user=mdettweiler [2015-10-15 23:15:56] 787*2^1412229-1 is not prime. Res64: DF9D3AF1E9362B9B Time : 0.0 sec. user=mdettweiler [2015-10-15 23:15:56] 605*2^1412230-1 is not prime. Res64: 6926FB4D5D5A2832 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:20:05] 765*2^1412230-1 is not prime. Res64: F181175BCFEA5CFF Time : 0.0 sec. user=mdettweiler [2015-10-15 23:20:05] 773*2^1412230-1 is not prime. Res64: 81203E437D1E4246 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:33:07] 827*2^1412230-1 is not prime. Res64: AFCCFC8047828553 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:33:07] 873*2^1412230-1 is not prime. Res64: 6E15E4A943FE933B Time : 0.0 sec. user=mdettweiler [2015-10-15 23:33:23] 887*2^1412230-1 is not prime. Res64: 9A9DF3A46086FA3A Time : 0.0 sec. user=mdettweiler [2015-10-15 23:33:23] 933*2^1412230-1 is not prime. Res64: FE99CBD05E4033C5 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:33:46] 945*2^1412230-1 is not prime. Res64: 2427E10071D0F96A Time : 0.0 sec. user=mdettweiler [2015-10-15 23:33:46] 651*2^1412231-1 is not prime. Res64: FD288259E36AB254 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:37:48] 705*2^1412231-1 is not prime. Res64: F6CFE85FA54E6F9E Time : 0.0 sec. user=mdettweiler [2015-10-15 23:37:49] 741*2^1412231-1 is not prime. Res64: 57928599DFD93040 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:51:02] 609*2^1412232-1 is not prime. Res64: FA931790D1DE59EC Time : 0.0 sec. user=mdettweiler [2015-10-15 23:51:02] 843*2^1412232-1 is not prime. Res64: B9D7DCEDC0D4C5D4 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:51:09] 947*2^1412232-1 is not prime. Res64: C3F8B1E2616400F4 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:51:09] 687*2^1412233-1 is not prime. Res64: 0753B8A188C689EE Time : 0.0 sec. user=mdettweiler [2015-10-15 23:51:35] 691*2^1412233-1 is not prime. Res64: 7CE05AED292BFD83 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:51:36] 831*2^1412233-1 is not prime. Res64: 7658E38A03B7D49B Time : 0.0 sec. user=mdettweiler [2015-10-15 23:55:35] 683*2^1412234-1 is not prime. Res64: 9B89302DBF8F7B81 Time : 0.0 sec. user=mdettweiler [2015-10-15 23:55:36] 755*2^1412234-1 is not prime. Res64: EF2DB7CBD897CD9B Time : 0.0 sec.