user=mdettweiler [2016-06-23 00:05:10] 945*2^1433253-1 is not prime. Res64: 0B96E9E66C730790 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:05:11] 955*2^1433253-1 is not prime. Res64: E795780FC670FD8B Time : 0.0 sec. user=mdettweiler [2016-06-23 00:05:11] 621*2^1433254-1 is not prime. Res64: F8F4B6873E99F5FA Time : 0.0 sec. user=mdettweiler [2016-06-23 00:05:12] 645*2^1433254-1 is not prime. Res64: 87100052CAB79F65 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:05:13] 665*2^1433254-1 is not prime. Res64: AFFF643B9568A15F Time : 0.0 sec. user=mdettweiler [2016-06-23 00:21:37] 707*2^1433254-1 is not prime. Res64: B299E97E78FFDD43 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:21:38] 815*2^1433254-1 is not prime. Res64: 5D1DA4B382EFD275 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:21:38] 833*2^1433254-1 is not prime. Res64: 8BCE8BAE50796C45 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:21:39] 863*2^1433254-1 is not prime. Res64: 5C389D9B4344EF01 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:21:39] 971*2^1433254-1 is not prime. Res64: A273407041DD5CC3 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:32:00] 609*2^1433255-1 is not prime. Res64: E4625531A9CB05FF Time : 0.0 sec. user=mdettweiler [2016-06-23 00:32:00] 655*2^1433255-1 is not prime. Res64: E9BE246A40698DF7 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:32:01] 663*2^1433255-1 is not prime. Res64: E2A4F7F2969C5B8C Time : 0.0 sec. user=mdettweiler [2016-06-23 00:32:01] 759*2^1433255-1 is not prime. Res64: B8A7503515FDC0BE Time : 0.0 sec. user=mdettweiler [2016-06-23 00:32:02] 799*2^1433255-1 is not prime. Res64: A5B8E499A386A1D6 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:33:09] 823*2^1433255-1 is not prime. Res64: 4CE82DD72333A94E Time : 0.0 sec. user=mdettweiler [2016-06-23 00:33:09] 841*2^1433255-1 is not prime. Res64: FA1047B6907ED0A1 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:33:10] 921*2^1433255-1 is not prime. Res64: E7671072C99FD113 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:33:10] 939*2^1433255-1 is not prime. Res64: F1DA5197F272AD47 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:33:11] 999*2^1433255-1 is not prime. Res64: 82C2046B8589493C Time : 0.0 sec. user=mdettweiler [2016-06-23 00:50:03] 609*2^1433256-1 is not prime. Res64: A7B53B5BD3CD1F25 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:50:04] 675*2^1433256-1 is not prime. Res64: 082F4106F961863E Time : 0.0 sec. user=mdettweiler [2016-06-23 00:50:04] 993*2^1433256-1 is not prime. Res64: 9AF04F90FB2DBBF5 Time : 0.0 sec. user=mdettweiler [2016-06-23 00:50:04] 871*2^1433257-1 is not prime. Res64: 70D0F94BFEEFE07D Time : 0.0 sec. user=mdettweiler [2016-06-23 00:50:05] 651*2^1433258-1 is not prime. Res64: E2030F816DE2B107 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:06:20] 773*2^1433258-1 is not prime. Res64: 73375175169B195D Time : 0.0 sec. user=mdettweiler [2016-06-23 01:06:23] 813*2^1433258-1 is not prime. Res64: A29D45595396FA87 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:06:25] 1001*2^1433258-1 is not prime. Res64: 802BBC75FF420D9C Time : 0.0 sec. user=mdettweiler [2016-06-23 01:06:28] 619*2^1433259-1 is not prime. Res64: 98CD23C2359BDD3E Time : 0.0 sec. user=mdettweiler [2016-06-23 01:06:30] 669*2^1433259-1 is not prime. Res64: 349ADE5FB88D0E55 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:16:41] 903*2^1433259-1 is not prime. Res64: 00D682C22DE4B87A Time : 0.0 sec. user=mdettweiler [2016-06-23 01:16:41] 975*2^1433259-1 is not prime. Res64: EB1B712DB393CFFF Time : 0.0 sec. user=mdettweiler [2016-06-23 01:16:42] 629*2^1433260-1 is not prime. Res64: 05EACB4CE2C652F0 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:16:42] 665*2^1433260-1 is not prime. Res64: 5AA326C94FC6958B Time : 0.0 sec. user=mdettweiler [2016-06-23 01:16:42] 677*2^1433260-1 is not prime. Res64: CCD71FEA21FD93B3 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:17:50] 759*2^1433260-1 is not prime. Res64: 241374243909DD1B Time : 0.0 sec. user=mdettweiler [2016-06-23 01:17:51] 813*2^1433260-1 is not prime. Res64: B6CF9819AE42E177 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:17:51] 999*2^1433260-1 is not prime. Res64: 741AE0461F280226 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:17:51] 621*2^1433262-1 is not prime. Res64: A932FA426934AF9C Time : 0.0 sec. user=mdettweiler [2016-06-23 01:17:52] 665*2^1433262-1 is not prime. Res64: 586230D048893240 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:34:47] 711*2^1433262-1 is not prime. Res64: B399D22B30443A8B Time : 0.0 sec. user=mdettweiler [2016-06-23 01:34:48] 887*2^1433262-1 is not prime. Res64: 4EF01CE38F5E72FD Time : 0.0 sec. user=mdettweiler [2016-06-23 01:34:48] 619*2^1433263-1 is not prime. Res64: FCA1B8E96392A709 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:34:49] 625*2^1433263-1 is not prime. Res64: 08E2AFE7578E818A Time : 0.0 sec. user=mdettweiler [2016-06-23 01:34:49] 693*2^1433263-1 is not prime. Res64: 0D554478AC97F411 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:51:23] 765*2^1433263-1 is not prime. Res64: 4534D9E75CA4B980 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:51:24] 805*2^1433263-1 is not prime. Res64: 626F3CAAFD311C5F Time : 0.0 sec. user=mdettweiler [2016-06-23 01:51:25] 933*2^1433263-1 is not prime. Res64: E71F990FD84B4286 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:51:26] 943*2^1433263-1 is not prime. Res64: D7C388BC1A11F8B8 Time : 0.0 sec. user=mdettweiler [2016-06-23 01:51:26] 945*2^1433263-1 is not prime. Res64: 50239451325131CB Time : 0.0 sec. user=mdettweiler [2016-06-23 02:01:26] 985*2^1433263-1 is not prime. Res64: 1C510A7EA8777E1F Time : 0.0 sec. user=mdettweiler [2016-06-23 02:01:28] 617*2^1433264-1 is not prime. Res64: 7920B4713FA9A083 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:01:29] 725*2^1433264-1 is not prime. Res64: 90E7ADAB4E3472E7 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:01:29] 857*2^1433264-1 is not prime. Res64: A8FC855C1D4269A7 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:01:30] 927*2^1433264-1 is not prime. Res64: F1C6BFDF409D0E8E Time : 0.0 sec. user=mdettweiler [2016-06-23 02:02:29] 983*2^1433264-1 is not prime. Res64: 2BDD409B6B28540E Time : 0.0 sec. user=mdettweiler [2016-06-23 02:02:30] 601*2^1433265-1 is not prime. Res64: 7302C2E662791486 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:02:31] 675*2^1433265-1 is not prime. Res64: 188D2714BC615708 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:02:32] 789*2^1433265-1 is not prime. Res64: 10B79736AF554B11 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:02:33] 849*2^1433265-1 is not prime. Res64: E3C056CF34E967F4 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:19:37] 975*2^1433265-1 is not prime. Res64: 167743F7AE386D7E Time : 0.0 sec. user=mdettweiler [2016-06-23 02:19:38] 657*2^1433266-1 is not prime. Res64: CF7CC47BB99E2661 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:19:38] 881*2^1433266-1 is not prime. Res64: 5D7E4E01CD8AFDAE Time : 0.0 sec. user=mdettweiler [2016-06-23 02:19:39] 711*2^1433267-1 is not prime. Res64: 4704C582DC6946DA Time : 0.0 sec. user=mdettweiler [2016-06-23 02:19:39] 753*2^1433267-1 is not prime. Res64: 25772FC14E75E9D4 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:36:12] 885*2^1433267-1 is not prime. Res64: BD01994FD4B46415 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:36:12] 889*2^1433267-1 is not prime. Res64: 92796EE1BE86C97D Time : 0.0 sec. user=mdettweiler [2016-06-23 02:36:13] 915*2^1433267-1 is not prime. Res64: 0C1B99FAA5697A80 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:36:13] 981*2^1433267-1 is not prime. Res64: 3BC6A459ED5A3B77 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:36:14] 991*2^1433267-1 is not prime. Res64: 9516ABDD728F0A2C Time : 0.0 sec. user=mdettweiler [2016-06-23 02:46:03] 669*2^1433268-1 is not prime. Res64: 48E8679681DF6CCF Time : 0.0 sec. user=mdettweiler [2016-06-23 02:46:04] 683*2^1433268-1 is not prime. Res64: 2AB39DBB3524E84D Time : 0.0 sec. user=mdettweiler [2016-06-23 02:46:04] 777*2^1433268-1 is not prime. Res64: 8C8F550DE9E83FEF Time : 0.0 sec. user=mdettweiler [2016-06-23 02:46:05] 867*2^1433268-1 is not prime. Res64: 580E2AF4F336D378 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:46:05] 879*2^1433268-1 is not prime. Res64: 7D14A71DD430E3BB Time : 0.0 sec. user=mdettweiler [2016-06-23 02:47:17] 927*2^1433268-1 is not prime. Res64: 4AB570BDA3D08B95 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:47:18] 609*2^1433269-1 is not prime. Res64: B160709939EB16A7 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:47:18] 661*2^1433269-1 is not prime. Res64: DA4B9B75F360D824 Time : 0.0 sec. user=mdettweiler [2016-06-23 02:47:19] 721*2^1433269-1 is not prime. Res64: 8E4BEEEC1CABC02B Time : 0.0 sec. user=mdettweiler [2016-06-23 02:47:19] 769*2^1433269-1 is not prime. Res64: 5563AEB9D0CF5F40 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:04:28] 861*2^1433269-1 is not prime. Res64: 5AFFB723B5A73F3A Time : 0.0 sec. user=mdettweiler [2016-06-23 03:04:30] 925*2^1433269-1 is not prime. Res64: 9A1B8F554CFF4DA5 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:04:31] 931*2^1433269-1 is not prime. Res64: A7A950CA950F3EA2 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:04:32] 857*2^1433270-1 is not prime. Res64: FC26D3ED57172699 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:04:33] 861*2^1433270-1 is not prime. Res64: ADD86A3E3CC25C55 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:20:51] 921*2^1433270-1 is not prime. Res64: 01D1BE3BF9AE00D9 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:20:51] 723*2^1433271-1 is not prime. Res64: 1CC03FE537F64FEF Time : 0.0 sec. user=mdettweiler [2016-06-23 03:20:52] 895*2^1433271-1 is not prime. Res64: 17093AA2AC823405 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:20:52] 901*2^1433271-1 is not prime. Res64: AE4D119ED90038CB Time : 0.0 sec. user=mdettweiler [2016-06-23 03:20:52] 657*2^1433272-1 is not prime. Res64: C2C661B4EAEFD659 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:30:59] 665*2^1433272-1 is not prime. Res64: 26F85084801CA49A Time : 0.0 sec. user=mdettweiler [2016-06-23 03:31:00] 713*2^1433272-1 is not prime. Res64: A8C2165784103D88 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:31:01] 759*2^1433272-1 is not prime. Res64: DF22C56B862CD683 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:31:02] 797*2^1433272-1 is not prime. Res64: C2E251BAF0525288 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:31:04] 803*2^1433272-1 is not prime. Res64: FEEF25778318DC96 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:32:17] 819*2^1433272-1 is not prime. Res64: 218A43266983B41C Time : 0.0 sec. user=mdettweiler [2016-06-23 03:32:18] 833*2^1433272-1 is not prime. Res64: DAE6F4A04E978965 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:32:19] 873*2^1433272-1 is not prime. Res64: CC017F6DB361F435 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:32:20] 657*2^1433273-1 is not prime. Res64: ED1FE1CCD2261984 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:32:21] 735*2^1433273-1 is not prime. Res64: E6E33CCA041D76BB Time : 0.0 sec. user=mdettweiler [2016-06-23 03:51:04] 781*2^1433273-1 is not prime. Res64: B9CEEEC761115D3C Time : 0.0 sec. user=mdettweiler [2016-06-23 03:51:05] 811*2^1433273-1 is not prime. Res64: 4075B2E271BC1234 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:51:07] 885*2^1433273-1 is not prime. Res64: 7444670C99C8EE71 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:51:08] 897*2^1433273-1 is not prime. Res64: BF6D44401E8ADF81 Time : 0.0 sec. user=mdettweiler [2016-06-23 03:51:09] 605*2^1433274-1 is not prime. Res64: A450935DCB33DABE Time : 0.0 sec. user=mdettweiler [2016-06-23 04:06:50] 861*2^1433274-1 is not prime. Res64: 449816ACE02E671E Time : 0.0 sec. user=mdettweiler [2016-06-23 04:06:51] 887*2^1433274-1 is not prime. Res64: 935668B2BA0A22B4 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:06:53] 971*2^1433274-1 is not prime. Res64: 13D7E479EA7FC522 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:06:54] 993*2^1433274-1 is not prime. Res64: 959589EDAA35E49A Time : 0.0 sec. user=mdettweiler [2016-06-23 04:06:55] 603*2^1433275-1 is not prime. Res64: 23EDA1AAC658578E Time : 0.0 sec. user=mdettweiler [2016-06-23 04:16:40] 645*2^1433275-1 is not prime. Res64: AA2C3BA23D2604E4 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:16:40] 651*2^1433275-1 is not prime. Res64: 9395B4F63936B160 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:16:41] 685*2^1433275-1 is not prime. Res64: FEED61FA0338E94E Time : 0.0 sec. user=mdettweiler [2016-06-23 04:16:41] 759*2^1433275-1 is not prime. Res64: A48274BD7C0F6778 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:16:41] 789*2^1433275-1 is not prime. Res64: 14673784EF17691F Time : 0.0 sec. user=mdettweiler [2016-06-23 04:18:12] 829*2^1433275-1 is not prime. Res64: 754FBFE56FA0D4D0 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:18:12] 939*2^1433275-1 is not prime. Res64: 7F09F2D3ADA06CBF Time : 0.0 sec. user=mdettweiler [2016-06-23 04:18:13] 961*2^1433275-1 is not prime. Res64: 02B24A1E3B337862 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:18:13] 999*2^1433275-1 is not prime. Res64: 4261459FE14063B1 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:18:13] 749*2^1433276-1 is not prime. Res64: F621FF136127D770 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:35:51] 803*2^1433276-1 is not prime. Res64: E258A30F5C57497B Time : 0.0 sec. user=mdettweiler [2016-06-23 04:35:52] 827*2^1433276-1 is not prime. Res64: E423392BD04A78F1 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:35:52] 909*2^1433276-1 is not prime. Res64: C3C35B4C15BB01B0 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:35:53] 923*2^1433276-1 is not prime. Res64: 9AAE090661AD86FA Time : 0.0 sec. user=mdettweiler [2016-06-23 04:35:53] 957*2^1433276-1 is not prime. Res64: F409CF6D2F086B58 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:51:46] 963*2^1433276-1 is not prime. Res64: BE8A3E648451B601 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:51:47] 969*2^1433276-1 is not prime. Res64: D7AE70A31DE60CB4 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:51:47] 601*2^1433277-1 is not prime. Res64: 827C541DF5DA1EFC Time : 0.0 sec. user=mdettweiler [2016-06-23 04:51:47] 615*2^1433277-1 is not prime. Res64: EB7A1037384BB734 Time : 0.0 sec. user=mdettweiler [2016-06-23 04:51:48] 727*2^1433277-1 is not prime. Res64: C6202C4FD6349736 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:01:21] 867*2^1433277-1 is not prime. Res64: 20951081EFDDB533 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:01:22] 997*2^1433277-1 is not prime. Res64: 58DBF3938446B938 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:01:23] 999*2^1433277-1 is not prime. Res64: FAEB793F5328C1BD Time : 0.0 sec. user=mdettweiler [2016-06-23 05:01:24] 635*2^1433278-1 is not prime. Res64: 30D5589CEF40A6D3 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:01:30] 687*2^1433278-1 is not prime. Res64: 08F44EDDBAB8D91E Time : 0.0 sec. user=mdettweiler [2016-06-23 05:03:02] 707*2^1433278-1 is not prime. Res64: A54DE89BAE038D4A Time : 0.0 sec. user=mdettweiler [2016-06-23 05:03:03] 897*2^1433278-1 is not prime. Res64: E4929B195AEF0883 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:03:04] 933*2^1433278-1 is not prime. Res64: AF776CFDEBC0A40C Time : 0.0 sec. user=mdettweiler [2016-06-23 05:03:05] 945*2^1433278-1 is not prime. Res64: 10C0019F3C090C28 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:03:05] 987*2^1433278-1 is not prime. Res64: 4ABC978328E007B6 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:20:33] 619*2^1433279-1 is not prime. Res64: EAF5BCB9B1D99F63 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:20:33] 661*2^1433279-1 is not prime. Res64: 51F024FA3F599049 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:20:34] 735*2^1433279-1 is not prime. Res64: 6905099EF5E199BD Time : 0.0 sec. user=mdettweiler [2016-06-23 05:20:34] 745*2^1433279-1 is not prime. Res64: 0B69C7387958F0B5 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:20:34] 819*2^1433279-1 is not prime. Res64: C24C218DC4985B41 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:36:35] 973*2^1433279-1 is not prime. Res64: D1A79A71FC7A0B69 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:36:35] 993*2^1433279-1 is not prime. Res64: 65821C57CCD7FE73 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:36:36] 999*2^1433279-1 is not prime. Res64: 409B7DF4F8A68042 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:36:36] 669*2^1433280-1 is not prime. Res64: 684504B50F122199 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:36:36] 725*2^1433280-1 is not prime. Res64: 1065E3D0E8A45C11 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:46:22] 795*2^1433280-1 is not prime. Res64: 1A87C0331A0BD919 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:46:22] 825*2^1433280-1 is not prime. Res64: 87B73143AE0A8896 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:46:22] 839*2^1433280-1 is not prime. Res64: 63E09A7541690B52 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:46:28] 929*2^1433280-1 is not prime. Res64: FD2C3CCC790E69E0 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:46:28] 975*2^1433280-1 is not prime. Res64: 5D877C84C30D49CC Time : 0.0 sec. user=mdettweiler [2016-06-23 05:47:52] 649*2^1433281-1 is not prime. Res64: 445E8A2A9D7FA577 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:47:52] 741*2^1433281-1 is not prime. Res64: 5CF2530A1BD7A352 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:47:53] 751*2^1433281-1 is not prime. Res64: C7B06796CDC1420B Time : 0.0 sec. user=mdettweiler [2016-06-23 05:47:53] 855*2^1433281-1 is not prime. Res64: 834BD0B67C339043 Time : 0.0 sec. user=mdettweiler [2016-06-23 05:47:53] 945*2^1433281-1 is not prime. Res64: B30BD045C4CD01DB Time : 0.0 sec. user=mdettweiler [2016-06-23 06:05:23] 997*2^1433281-1 is not prime. Res64: 03A65462856D41D3 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:05:24] 603*2^1433282-1 is not prime. Res64: 48E45DC9A138EBB6 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:05:25] 635*2^1433282-1 is not prime. Res64: 05076FA2E7216A83 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:05:26] 813*2^1433282-1 is not prime. Res64: 488A558C018B43AD Time : 0.0 sec. user=mdettweiler [2016-06-23 06:05:27] 815*2^1433282-1 is not prime. Res64: 7ED2F24FE637A555 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:21:28] 837*2^1433282-1 is not prime. Res64: A97D1F983C89B645 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:21:28] 843*2^1433282-1 is not prime. Res64: 1068DF62E7F6C36B Time : 0.0 sec. user=mdettweiler [2016-06-23 06:21:29] 885*2^1433282-1 is not prime. Res64: 06BF93A5A0CE4262 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:21:29] 893*2^1433282-1 is not prime. Res64: 281E6E332D739D13 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:21:30] 921*2^1433282-1 is not prime. Res64: F798D57043BFDCCB Time : 0.0 sec. user=mdettweiler [2016-06-23 06:30:58] 923*2^1433282-1 is not prime. Res64: 4CB3EE58E68ECDCD Time : 0.0 sec. user=mdettweiler [2016-06-23 06:30:59] 963*2^1433282-1 is not prime. Res64: EA18847FA535A71D Time : 0.0 sec. user=mdettweiler [2016-06-23 06:30:59] 609*2^1433283-1 is not prime. Res64: F4C83CEA2C15ACA1 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:30:59] 613*2^1433283-1 is not prime. Res64: AA17E478071855D5 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:31:00] 721*2^1433283-1 is not prime. Res64: 561B6AEB32761861 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:32:19] 781*2^1433283-1 is not prime. Res64: CD574691A4F26D98 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:32:20] 891*2^1433283-1 is not prime. Res64: 462A9A1470530B94 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:32:20] 949*2^1433283-1 is not prime. Res64: 42FB27BF35C63D09 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:32:20] 963*2^1433283-1 is not prime. Res64: 6E327F596BD5D9EE Time : 0.0 sec. user=mdettweiler [2016-06-23 06:32:21] 623*2^1433284-1 is not prime. Res64: AB2D8684E4E3EC78 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:50:09] 657*2^1433284-1 is not prime. Res64: A6FD69D6A9E8ABB7 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:50:09] 675*2^1433284-1 is not prime. Res64: 0FBEEE3A26A94079 Time : 0.0 sec. user=mdettweiler [2016-06-23 06:50:10] 885*2^1433284-1 is not prime. Res64: FCA847F1786D54BE Time : 0.0 sec. user=mdettweiler [2016-06-23 06:50:10] 947*2^1433284-1 is not prime. Res64: F622109DA4B6770E Time : 0.0 sec. user=mdettweiler [2016-06-23 06:50:11] 989*2^1433284-1 is not prime. Res64: 756C794358039869 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:06:04] 607*2^1433285-1 is not prime. Res64: C5A26690251E4C19 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:06:06] 669*2^1433285-1 is not prime. Res64: A69BD6257E31D768 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:06:08] 735*2^1433285-1 is not prime. Res64: C4BE00A93A361852 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:06:09] 837*2^1433285-1 is not prime. Res64: 8B78BCB9D557537B Time : 0.0 sec. user=mdettweiler [2016-06-23 07:06:10] 871*2^1433285-1 is not prime. Res64: B55C8B01B52FE39A Time : 0.0 sec. user=mdettweiler [2016-06-23 07:15:46] 717*2^1433286-1 is not prime. Res64: 15A4AFF97D1EDE88 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:15:47] 725*2^1433286-1 is not prime. Res64: F1CF8965AD43E32E Time : 0.0 sec. user=mdettweiler [2016-06-23 07:15:48] 747*2^1433286-1 is not prime. Res64: AFFAAE2863D404AF Time : 0.0 sec. user=mdettweiler [2016-06-23 07:15:48] 903*2^1433286-1 is not prime. Res64: 87432E1FFD0157F7 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:15:48] 1001*2^1433286-1 is not prime. Res64: BA08929B618E0807 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:17:00] 603*2^1433287-1 is not prime. Res64: FFA20F593A8240E4 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:17:00] 615*2^1433287-1 is not prime. Res64: 3D412DD2E0238D8A Time : 0.0 sec. user=mdettweiler [2016-06-23 07:17:00] 645*2^1433287-1 is not prime. Res64: F661E915F3CFCED8 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:17:01] 759*2^1433287-1 is not prime. Res64: B96AA2F19F60D02E Time : 0.0 sec. user=mdettweiler [2016-06-23 07:17:01] 813*2^1433287-1 is not prime. Res64: B4485C7DDAA22159 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:34:57] 841*2^1433287-1 is not prime. Res64: 8960DFEC53A4D80E Time : 0.0 sec. user=mdettweiler [2016-06-23 07:34:57] 633*2^1433288-1 is not prime. Res64: 4AA3086A67C88C06 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:34:57] 659*2^1433288-1 is not prime. Res64: 55238C93233CC4D6 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:34:58] 663*2^1433288-1 is not prime. Res64: AFFC6CFE0EE12DCE Time : 0.0 sec. user=mdettweiler [2016-06-23 07:34:58] 795*2^1433288-1 is not prime. Res64: D3476180264DBB3D Time : 0.0 sec. user=mdettweiler [2016-06-23 07:51:13] 867*2^1433288-1 is not prime. Res64: C1F297B46E00AAF6 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:51:14] 657*2^1433289-1 is not prime. Res64: CDE1780213C6EC7D Time : 0.0 sec. user=mdettweiler [2016-06-23 07:51:14] 945*2^1433289-1 is not prime. Res64: FFBD9EF8B2D0FD64 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:51:14] 987*2^1433289-1 is not prime. Res64: F0560299C4BCBCB3 Time : 0.0 sec. user=mdettweiler [2016-06-23 07:51:15] 635*2^1433290-1 is not prime. Res64: DA1BE05183DC2B91 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:00:27] 657*2^1433290-1 is not prime. Res64: F0073C1771E87315 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:00:27] 717*2^1433290-1 is not prime. Res64: D31531BB7E57C04E Time : 0.0 sec. user=mdettweiler [2016-06-23 08:00:28] 791*2^1433290-1 is not prime. Res64: 865CC80DB242DEBB Time : 0.0 sec. user=mdettweiler [2016-06-23 08:00:29] 813*2^1433290-1 is not prime. Res64: 0A3E61EE946ADCF6 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:00:29] 651*2^1433291-1 is not prime. Res64: 35A821AC6BD08B2C Time : 0.0 sec. user=mdettweiler [2016-06-23 08:01:48] 705*2^1433291-1 is not prime. Res64: 71F641BF33E407AC Time : 0.0 sec. user=mdettweiler [2016-06-23 08:01:55] 805*2^1433291-1 is not prime. Res64: C380727B389AAF51 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:01:55] 823*2^1433291-1 is not prime. Res64: 430D6DDFB5D1CAE6 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:01:56] 623*2^1433292-1 is not prime. Res64: 235AD3BED8CC5BAC Time : 0.0 sec. user=mdettweiler [2016-06-23 08:01:57] 737*2^1433292-1 is not prime. Res64: 9D1FC0657B7320C9 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:19:39] 765*2^1433292-1 is not prime. Res64: 0670DDFBDA18AC48 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:19:40] 767*2^1433292-1 is not prime. Res64: 9528E7C94667F6F6 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:19:40] 887*2^1433292-1 is not prime. Res64: D468FC6AC8028623 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:19:41] 959*2^1433292-1 is not prime. Res64: 027F5716EBC080BC Time : 0.0 sec. user=mdettweiler [2016-06-23 08:19:41] 721*2^1433293-1 is not prime. Res64: 4609C1C410C74F36 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:36:11] 789*2^1433293-1 is not prime. Res64: 68C74E21A5ECBC63 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:36:11] 861*2^1433293-1 is not prime. Res64: A135DA9A541CF23F Time : 0.0 sec. user=mdettweiler [2016-06-23 08:36:11] 623*2^1433294-1 is not prime. Res64: 0C98A41CB2D1176C Time : 0.0 sec. user=mdettweiler [2016-06-23 08:36:12] 741*2^1433294-1 is not prime. Res64: 1F27E6928424D2C6 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:36:12] 755*2^1433294-1 is not prime. Res64: E2016DADDA0B2E05 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:45:21] 1001*2^1433294-1 is not prime. Res64: A5CA3A26F193E5DE Time : 0.0 sec. user=mdettweiler [2016-06-23 08:45:21] 669*2^1433295-1 is not prime. Res64: 5A0950DCE44B8ED6 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:45:21] 691*2^1433295-1 is not prime. Res64: 0934FC3F9850786F Time : 0.0 sec. user=mdettweiler [2016-06-23 08:45:22] 723*2^1433295-1 is not prime. Res64: 2BDED019AC859EFA Time : 0.0 sec. user=mdettweiler [2016-06-23 08:45:22] 781*2^1433295-1 is not prime. Res64: C241A82760DFFACA Time : 0.0 sec. user=mdettweiler [2016-06-23 08:46:50] 795*2^1433295-1 is not prime. Res64: E831FA0EF1A228DF Time : 0.0 sec. user=mdettweiler [2016-06-23 08:46:50] 885*2^1433295-1 is not prime. Res64: 5F866E8FA0DEB1FF Time : 0.0 sec. user=mdettweiler [2016-06-23 08:46:50] 909*2^1433295-1 is not prime. Res64: 2CC275007AFE5291 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:46:51] 955*2^1433295-1 is not prime. Res64: 0FE367E97442F826 Time : 0.0 sec. user=mdettweiler [2016-06-23 08:46:51] 979*2^1433295-1 is not prime. Res64: 8F0A4A6B0459CD06 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:04:28] 717*2^1433296-1 is not prime. Res64: 26EFEF23C6A2C7B9 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:04:29] 825*2^1433296-1 is not prime. Res64: 508396F1A1B0CE80 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:04:30] 849*2^1433296-1 is not prime. Res64: DAFD73B7D855B2C7 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:04:31] 875*2^1433296-1 is not prime. Res64: 064FA0F8D5FE9BCF Time : 0.0 sec. user=mdettweiler [2016-06-23 09:04:32] 939*2^1433296-1 is not prime. Res64: 6B667CAF2D513ABA Time : 0.0 sec. user=mdettweiler [2016-06-23 09:21:02] 957*2^1433296-1 is not prime. Res64: 370997DB3BBF257F Time : 0.0 sec. user=mdettweiler [2016-06-23 09:21:03] 601*2^1433297-1 is not prime. Res64: E7646993EFDF80A1 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:21:03] 615*2^1433297-1 is not prime. Res64: EE70BF45F7EA17D3 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:21:04] 711*2^1433297-1 is not prime. Res64: 42A57B9E3C4BB3FB Time : 0.0 sec. user=mdettweiler [2016-06-23 09:21:04] 865*2^1433297-1 is not prime. Res64: 9BED8FAFFA6D612B Time : 0.0 sec. user=mdettweiler [2016-06-23 09:30:04] 879*2^1433297-1 is not prime. Res64: D614890E82AF1D8F Time : 0.0 sec. user=mdettweiler [2016-06-23 09:30:05] 991*2^1433297-1 is not prime. Res64: 28F569F5ECAAA5A2 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:30:05] 635*2^1433298-1 is not prime. Res64: C6E956DD2020BE73 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:30:05] 663*2^1433298-1 is not prime. Res64: 2D0F6B40E1ECF735 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:30:06] 737*2^1433298-1 is not prime. Res64: 460E835279BD09A6 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:31:41] 777*2^1433298-1 is not prime. Res64: CB7992B18211B296 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:31:41] 821*2^1433298-1 is not prime. Res64: 25D634B78F1FC635 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:31:41] 825*2^1433298-1 is not prime. Res64: 44B6627FECE8F2A9 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:31:42] 723*2^1433299-1 is not prime. Res64: F52C2F47EAB4536A Time : 0.0 sec. user=mdettweiler [2016-06-23 09:31:42] 861*2^1433299-1 is not prime. Res64: B074305EE91C2189 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:49:29] 885*2^1433299-1 is not prime. Res64: E86A969A53415682 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:49:29] 609*2^1433300-1 is not prime. Res64: B97AF51F77E22DC9 Time : 0.0 sec. user=mdettweiler [2016-06-23 09:49:30] 665*2^1433300-1 is not prime. Res64: A347F33762ED54BE Time : 0.0 sec. user=mdettweiler [2016-06-23 09:49:30] 675*2^1433300-1 is not prime. Res64: DBC72F2A4CC0266F Time : 0.0 sec. user=mdettweiler [2016-06-23 09:49:30] 825*2^1433300-1 is not prime. Res64: 84F96EDB784798D1 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:06:11] 855*2^1433300-1 is not prime. Res64: AE3BB1456073DBF2 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:06:14] 959*2^1433300-1 is not prime. Res64: 021680C73FB7364D Time : 0.0 sec. user=mdettweiler [2016-06-23 10:06:15] 995*2^1433300-1 is not prime. Res64: FC9117D97E4DB6BB Time : 0.0 sec. user=mdettweiler [2016-06-23 10:06:16] 661*2^1433301-1 is not prime. Res64: 759CA3F1E85D1F33 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:06:18] 685*2^1433301-1 is not prime. Res64: 8452F1B6D3A95350 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:14:56] 727*2^1433301-1 is not prime. Res64: AAEFE5C0A3452877 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:14:57] 745*2^1433301-1 is not prime. Res64: 4CB93CE4DDF83D44 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:14:57] 969*2^1433301-1 is not prime. Res64: D7BA1428E977103F Time : 0.0 sec. user=mdettweiler [2016-06-23 10:14:57] 785*2^1433302-1 is not prime. Res64: ECB7CF900B4E53F5 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:14:58] 827*2^1433302-1 is not prime. Res64: F142EA3744B6F370 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:16:50] 843*2^1433302-1 is not prime. Res64: E4A041C7B4C0B226 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:16:50] 885*2^1433302-1 is not prime. Res64: 0686371BBED8320E Time : 0.0 sec. user=mdettweiler [2016-06-23 10:16:51] 983*2^1433302-1 is not prime. Res64: AA562BF87915768A Time : 0.0 sec. user=mdettweiler [2016-06-23 10:16:51] 735*2^1433303-1 is not prime. Res64: 6B53884FD1533713 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:16:51] 753*2^1433303-1 is not prime. Res64: ACBD3E9ADD19ACC7 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:34:16] 763*2^1433303-1 is not prime. Res64: 9548E9C61A17FE2D Time : 0.0 sec. user=mdettweiler [2016-06-23 10:34:16] 829*2^1433303-1 is not prime. Res64: 7076FED6FC14EF9A Time : 0.0 sec. user=mdettweiler [2016-06-23 10:34:16] 901*2^1433303-1 is not prime. Res64: 05E0A4103C51807B Time : 0.0 sec. user=mdettweiler [2016-06-23 10:34:17] 915*2^1433303-1 is not prime. Res64: 989554FC4E5BA5D1 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:34:17] 629*2^1433304-1 is not prime. Res64: 5DDA580D8E49BD86 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:51:48] 689*2^1433304-1 is not prime. Res64: 308D1D50C90D62DC Time : 0.0 sec. user=mdettweiler [2016-06-23 10:51:48] 717*2^1433304-1 is not prime. Res64: 51EF3F833182FF16 Time : 0.0 sec. user=mdettweiler [2016-06-23 10:51:49] 725*2^1433304-1 is not prime. Res64: 36F3FCED76DC4C0A Time : 0.0 sec. user=mdettweiler [2016-06-23 10:51:49] 759*2^1433304-1 is not prime. Res64: 26C2C20846C0762B Time : 0.0 sec. user=mdettweiler [2016-06-23 10:51:49] 843*2^1433304-1 is not prime. Res64: B33CC69128597A9B Time : 0.0 sec. user=mdettweiler [2016-06-23 11:00:42] 903*2^1433304-1 is not prime. Res64: CFC3E430A10BEC63 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:00:43] 805*2^1433305-1 is not prime. Res64: 824ED8010B00CBEE Time : 0.0 sec. user=mdettweiler [2016-06-23 11:00:43] 633*2^1433306-1 is not prime. Res64: F6A41D900B7EE20A Time : 0.0 sec. user=mdettweiler [2016-06-23 11:00:44] 671*2^1433306-1 is not prime. Res64: FBB14AEABE772FD8 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:00:44] 683*2^1433306-1 is not prime. Res64: 9933E4BA6F71D911 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:02:38] 713*2^1433306-1 is not prime. Res64: C1EC18FA3D9C63CE Time : 0.0 sec. user=mdettweiler [2016-06-23 11:02:39] 741*2^1433306-1 is not prime. Res64: E1792C038946A964 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:02:40] 755*2^1433306-1 is not prime. Res64: 94E5834229004E67 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:02:41] 813*2^1433306-1 is not prime. Res64: FAD787CA986EDC26 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:02:42] 827*2^1433306-1 is not prime. Res64: 6E42380C50DEBD1D Time : 0.0 sec. user=mdettweiler [2016-06-23 11:20:39] 935*2^1433306-1 is not prime. Res64: D6A981FA3D43BDD8 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:20:40] 941*2^1433306-1 is not prime. Res64: 067064766C46F000 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:20:40] 971*2^1433306-1 is not prime. Res64: B2D51DD0E53E47F1 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:20:40] 793*2^1433307-1 is not prime. Res64: 7AED9BFD5DF00AFA Time : 0.0 sec. user=mdettweiler [2016-06-23 11:20:41] 871*2^1433307-1 is not prime. Res64: 55DCA6D25EBEDDDF Time : 0.0 sec. user=mdettweiler [2016-06-23 11:37:30] 901*2^1433307-1 is not prime. Res64: 76155CEEF0B44FD0 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:37:30] 955*2^1433307-1 is not prime. Res64: 65319CEB0EF36F87 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:37:30] 605*2^1433308-1 is not prime. Res64: 142930C047764361 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:37:30] 783*2^1433308-1 is not prime. Res64: FBEE5CFC008BA0F5 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:37:31] 855*2^1433308-1 is not prime. Res64: 736300DC84BA4169 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:46:17] 933*2^1433308-1 is not prime. Res64: 546F9B2D0B785C41 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:46:17] 989*2^1433308-1 is not prime. Res64: EAFCC66F25A6B34A Time : 0.0 sec. user=mdettweiler [2016-06-23 11:46:18] 999*2^1433308-1 is not prime. Res64: 6FF98541F3597722 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:46:18] 631*2^1433309-1 is not prime. Res64: C6F34072BCA2521C Time : 0.0 sec. user=mdettweiler [2016-06-23 11:46:18] 741*2^1433309-1 is not prime. Res64: D880821C6942F891 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:48:17] 811*2^1433309-1 is not prime. Res64: B8F12113A287A5B9 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:48:18] 861*2^1433309-1 is not prime. Res64: 477D769903E80D79 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:48:18] 765*2^1433310-1 is not prime. Res64: 6399275C65BA50D0 Time : 0.0 sec. user=mdettweiler [2016-06-23 11:48:18] 797*2^1433310-1 is not prime. Res64: 8209C1A95CEBDD9D Time : 0.0 sec. user=mdettweiler [2016-06-23 11:48:18] 863*2^1433310-1 is not prime. Res64: 2B77B16D06FCD49D Time : 0.0 sec. user=mdettweiler [2016-06-23 12:07:14] 887*2^1433310-1 is not prime. Res64: D4056D6CD1B13FDB Time : 0.0 sec. user=mdettweiler [2016-06-23 12:07:15] 927*2^1433310-1 is not prime. Res64: FA752B04DD28AE4F Time : 0.0 sec. user=mdettweiler [2016-06-23 12:07:15] 941*2^1433310-1 is not prime. Res64: 44200728AA4F9D48 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:07:15] 679*2^1433311-1 is not prime. Res64: 91E772968FF4C83D Time : 0.0 sec. user=mdettweiler [2016-06-23 12:07:15] 735*2^1433311-1 is not prime. Res64: DF99CC0119445B5D Time : 0.0 sec. user=mdettweiler [2016-06-23 12:24:31] 741*2^1433311-1 is not prime. Res64: F0DB27D1578FD706 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:24:31] 771*2^1433311-1 is not prime. Res64: 34B1021D4FCD2DD4 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:24:32] 789*2^1433311-1 is not prime. Res64: 292F39E62DCB3841 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:24:32] 979*2^1433311-1 is not prime. Res64: 107FAB4673D933B7 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:24:32] 609*2^1433312-1 is not prime. Res64: 574862F37CE7F9D8 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:33:29] 713*2^1433312-1 is not prime. Res64: 2C75D4B5BBA155FC Time : 0.0 sec. user=mdettweiler [2016-06-23 12:33:35] 719*2^1433312-1 is not prime. Res64: D156297EBD1C7C44 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:33:42] 857*2^1433312-1 is not prime. Res64: 3BFEF3D8CC27DAA6 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:33:47] 893*2^1433312-1 is not prime. Res64: 8D28461B711B90A5 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:33:51] 899*2^1433312-1 is not prime. Res64: 4D198B478E880163 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:35:32] 945*2^1433312-1 is not prime. Res64: 89F22BDAB5C85127 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:35:36] 609*2^1433313-1 is not prime. Res64: ACB8DDFA7C70FB59 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:35:40] 861*2^1433313-1 is not prime. Res64: 1F53BB67F3C005A3 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:35:44] 681*2^1433314-1 is not prime. Res64: 5814C97ECF4E11A7 Time : 0.0 sec. user=mdettweiler [2016-06-23 12:35:48] 717*2^1433314-1 is not prime. Res64: 57EFD62FED650D91 Time : 0.0 sec. user=mdettweiler [2016-06-23 13:16:05] 773*2^1433314-1 is not prime. Res64: F92B8478B57896E5 Time : 0.0 sec. user=mdettweiler [2016-06-23 13:33:27] 771*2^1433315-1 is not prime. Res64: A761A8528D1DE5A8 Time : 0.0 sec. user=mdettweiler [2016-06-23 13:33:28] 799*2^1433315-1 is not prime. Res64: 43690786C208873D Time : 0.0 sec. user=mdettweiler [2016-06-23 13:33:28] 915*2^1433315-1 is not prime. Res64: 71F0D1F7F951C446 Time : 0.0 sec. user=mdettweiler [2016-06-23 13:33:29] 973*2^1433315-1 is not prime. Res64: DC27E1D03AB9B5B6 Time : 0.0 sec. user=mdettweiler [2016-06-23 13:33:29] 985*2^1433315-1 is not prime. Res64: 07D28AA68F357F67 Time : 0.0 sec. user=mdettweiler [2016-06-23 13:42:27] 633*2^1433316-1 is not prime. Res64: 3DB0B90869359F1A Time : 0.0 sec. user=mdettweiler [2016-06-23 13:42:31] 707*2^1433316-1 is not prime. Res64: 27926A04E63F52D4 Time : 0.0 sec. user=mdettweiler [2016-06-23 13:42:36] 723*2^1433316-1 is not prime. Res64: 2A23221991C1883E Time : 0.0 sec. user=mdettweiler [2016-06-23 13:42:40] 875*2^1433316-1 is not prime. Res64: 12F126CB41B39E0A Time : 0.0 sec. user=mdettweiler [2016-06-23 13:42:40] 737*2^1433316-1 is not prime. Res64: 94E6BACC127E2314 Time : 0.0 sec. user=mdettweiler [2016-06-23 13:42:44] 893*2^1433316-1 is not prime. Res64: 2B135F3FDC114748 Time : 0.0 sec. user=mdettweiler [2016-06-23 13:42:44] 803*2^1433316-1 is not prime. Res64: 0064E85DF64D40CE Time : 0.0 sec. user=mdettweiler [2016-06-23 13:42:49] 909*2^1433316-1 is not prime. Res64: FB88DCE80DCF8E84 Time : 0.0 sec. user=mdettweiler [2016-06-23 13:42:53] 983*2^1433316-1 is not prime. Res64: 114693B03F5C32C5 Time : 0.0 sec. user=mdettweiler [2016-06-23 13:42:57] 993*2^1433316-1 is not prime. Res64: 8E80E9F32452B0AB Time : 0.0 sec. user=mdettweiler [2016-06-23 14:18:01] 619*2^1433317-1 is not prime. Res64: 1D3CD04B0A39CF41 Time : 0.0 sec. user=mdettweiler [2016-06-23 14:18:07] 625*2^1433317-1 is not prime. Res64: 2373A6E4AF0D580B Time : 0.0 sec. user=mdettweiler [2016-06-23 14:18:13] 667*2^1433317-1 is not prime. Res64: 85A85B9D192EC5B1 Time : 0.0 sec. user=mdettweiler [2016-06-23 14:18:19] 757*2^1433317-1 is not prime. Res64: 962459EC915705AA Time : 0.0 sec. user=mdettweiler [2016-06-23 14:18:26] 861*2^1433317-1 is not prime. Res64: DC317CA507F17186 Time : 0.0 sec. user=mdettweiler [2016-06-23 14:27:18] 867*2^1433317-1 is not prime. Res64: 20769D3BA19558AB Time : 0.0 sec. user=mdettweiler [2016-06-23 14:27:25] 871*2^1433317-1 is not prime. Res64: B0C0923BBAC0D253 Time : 0.0 sec. user=mdettweiler [2016-06-23 14:27:32] 665*2^1433318-1 is not prime. Res64: C391FCC1D93CD19A Time : 0.0 sec. user=mdettweiler [2016-06-23 14:27:32] 915*2^1433317-1 is not prime. Res64: 2C4473E478109830 Time : 0.0 sec. user=mdettweiler [2016-06-23 14:27:39] 731*2^1433318-1 is not prime. Res64: 418D2A4F41290512 Time : 0.0 sec. user=mdettweiler [2016-06-23 14:27:39] 927*2^1433317-1 is not prime. Res64: B62E0CFC09484D39 Time : 0.0 sec. user=mdettweiler [2016-06-23 14:27:46] 825*2^1433318-1 is not prime. Res64: 6207288B45CC0C69 Time : 0.0 sec. user=mdettweiler [2016-06-23 14:27:46] 603*2^1433318-1 is not prime. Res64: 8FDC9081DD52D705 Time : 0.0 sec. user=mdettweiler [2016-06-23 14:27:53] 831*2^1433318-1 is not prime. Res64: 4C9496CFDAB0F545 Time : 0.0 sec. user=mdettweiler [2016-06-23 14:27:59] 897*2^1433318-1 is not prime. Res64: CFDC5FB57D6B6721 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:03:14] 741*2^1433319-1 is not prime. Res64: 55BCAE24B374E847 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:03:19] 751*2^1433319-1 is not prime. Res64: EE12C4BAEA5A799B Time : 0.0 sec. user=mdettweiler [2016-06-23 15:03:23] 615*2^1433320-1 is not prime. Res64: E58EE2FAECC2AAA9 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:03:28] 645*2^1433320-1 is not prime. Res64: BBBB46A1D04C654D Time : 0.0 sec. user=mdettweiler [2016-06-23 15:03:32] 663*2^1433320-1 is not prime. Res64: 0D859B8EB1CF26D2 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:12:25] 833*2^1433320-1 is not prime. Res64: 9D34BB5C9D60EC38 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:12:26] 873*2^1433320-1 is not prime. Res64: 98B735513704E831 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:12:27] 933*2^1433320-1 is not prime. Res64: 93A4DF514E14D0E5 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:12:27] 939*2^1433320-1 is not prime. Res64: 60A5D37A7DE56546 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:12:28] 631*2^1433321-1 is not prime. Res64: 4C3427DDDCEBD61A Time : 0.0 sec. user=mdettweiler [2016-06-23 15:12:34] 747*2^1433321-1 is not prime. Res64: 45F02FE06992EE07 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:12:34] 811*2^1433321-1 is not prime. Res64: 573A68BB3CB4FF10 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:12:35] 829*2^1433321-1 is not prime. Res64: 1369AA98ED9DACE2 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:12:35] 909*2^1433321-1 is not prime. Res64: 065D041040A9B48F Time : 0.0 sec. user=mdettweiler [2016-06-23 15:12:35] 833*2^1433322-1 is not prime. Res64: 01EF2228E749E4F9 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:48:16] 843*2^1433322-1 is not prime. Res64: 5FB1048852F69C2A Time : 0.0 sec. user=mdettweiler [2016-06-23 15:48:16] 945*2^1433322-1 is not prime. Res64: FA1388FB74EFFB18 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:48:17] 673*2^1433323-1 is not prime. Res64: 7D0A4E72A2151FBC Time : 0.0 sec. user=mdettweiler [2016-06-23 15:48:17] 741*2^1433323-1 is not prime. Res64: 85BF0F6269C110F4 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:48:18] 745*2^1433323-1 is not prime. Res64: 1427467392C74966 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:57:05] 951*2^1433323-1 is not prime. Res64: 1E911D58F39BE743 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:57:06] 795*2^1433324-1 is not prime. Res64: 41C95FF03D667B4F Time : 0.0 sec. user=mdettweiler [2016-06-23 15:57:06] 961*2^1433323-1 is not prime. Res64: 03553B8495D78422 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:57:06] 833*2^1433324-1 is not prime. Res64: 0EBB078D5F206B10 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:57:06] 663*2^1433324-1 is not prime. Res64: B4D463A39F0330E3 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:57:07] 837*2^1433324-1 is not prime. Res64: E316B2A1B23F8AD6 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:57:07] 753*2^1433324-1 is not prime. Res64: 8C7ECC126EC46E97 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:57:07] 855*2^1433324-1 is not prime. Res64: EC1D64D805EAC4F7 Time : 0.0 sec. user=mdettweiler [2016-06-23 15:57:07] 789*2^1433324-1 is not prime. Res64: 783134C03947051F Time : 0.0 sec. user=mdettweiler [2016-06-23 15:57:07] 909*2^1433324-1 is not prime. Res64: ABCD2D2B09A25FD3 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:04:54] 857*2^1433314-1 is not prime. Res64: 63B91CAD48FBB11A Time : 0.0 sec. user=mdettweiler [2016-06-23 16:04:58] 669*2^1433315-1 is not prime. Res64: 5B1F94AF7422361A Time : 0.0 sec. user=mdettweiler [2016-06-23 16:05:03] 753*2^1433315-1 is not prime. Res64: 4B89D4667D87F25C Time : 0.0 sec. user=mdettweiler [2016-06-23 16:05:08] 759*2^1433315-1 is not prime. Res64: A2A51254B03FEE81 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:32:47] 915*2^1433324-1 is not prime. Res64: 56E12F3A60BA934D Time : 0.0 sec. user=mdettweiler [2016-06-23 16:32:51] 953*2^1433324-1 is not prime. Res64: D0F6D397E824B7F8 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:32:55] 607*2^1433325-1 is not prime. Res64: F0336B0C13FF7DA3 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:32:59] 717*2^1433325-1 is not prime. Res64: 66D17615652D7C92 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:33:03] 795*2^1433325-1 is not prime. Res64: 02D236CDF369FDC4 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:41:29] 801*2^1433326-1 is not prime. Res64: A342C8268EF722CE Time : 0.0 sec. user=mdettweiler [2016-06-23 16:41:36] 911*2^1433326-1 is not prime. Res64: 229AE81E9E9AC435 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:41:36] 859*2^1433325-1 is not prime. Res64: 5D7D8FD4FC82570A Time : 0.0 sec. user=mdettweiler [2016-06-23 16:41:43] 861*2^1433325-1 is not prime. Res64: E2D23C345D0E3858 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:41:43] 957*2^1433326-1 is not prime. Res64: 1D3B0F44BECBD679 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:41:50] 703*2^1433327-1 is not prime. Res64: AF767F11E248E82B Time : 0.0 sec. user=mdettweiler [2016-06-23 16:41:50] 603*2^1433326-1 is not prime. Res64: F9D8D1090EBD2A20 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:41:57] 647*2^1433326-1 is not prime. Res64: 8B6A2D8D4C8E6DD0 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:41:57] 711*2^1433327-1 is not prime. Res64: 6B39A4C7B160CF55 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:42:04] 755*2^1433326-1 is not prime. Res64: E130442CFB801D57 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:49:39] 741*2^1433327-1 is not prime. Res64: DCAABCF76EEB18CD Time : 0.0 sec. user=mdettweiler [2016-06-23 16:49:40] 841*2^1433327-1 is not prime. Res64: C4A20491BC5DE694 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:49:41] 879*2^1433327-1 is not prime. Res64: 68279ED48FA5A94E Time : 0.0 sec. user=mdettweiler [2016-06-23 16:49:41] 895*2^1433327-1 is not prime. Res64: 7BB1B6DD1FEB3930 Time : 0.0 sec. user=mdettweiler [2016-06-23 16:49:42] 955*2^1433327-1 is not prime. Res64: 582C2ED9BA465D7D Time : 0.0 sec. user=mdettweiler [2016-06-23 17:17:19] 605*2^1433328-1 is not prime. Res64: E08652A392B118BD Time : 0.0 sec. user=mdettweiler [2016-06-23 17:17:23] 663*2^1433328-1 is not prime. Res64: DE0C1840C397230A Time : 0.0 sec. user=mdettweiler [2016-06-23 17:17:27] 669*2^1433328-1 is not prime. Res64: E33B181FF394B640 Time : 0.0 sec. user=mdettweiler [2016-06-23 17:17:31] 689*2^1433328-1 is not prime. Res64: F932B5EFA91DC1BB Time : 0.0 sec. user=mdettweiler [2016-06-23 17:17:35] 767*2^1433328-1 is not prime. Res64: 64E55402166C6EB2 Time : 0.0 sec. user=mdettweiler [2016-06-23 17:26:13] 845*2^1433328-1 is not prime. Res64: E42F43021448E4AA Time : 0.0 sec. user=mdettweiler [2016-06-23 17:26:13] 909*2^1433328-1 is not prime. Res64: A4282F4E65F358C8 Time : 0.0 sec. user=mdettweiler [2016-06-23 17:26:14] 927*2^1433328-1 is not prime. Res64: 9B35A3E4745B6E0F Time : 0.0 sec. user=mdettweiler [2016-06-23 17:26:14] 969*2^1433328-1 is not prime. Res64: FC3974CD75BBCCCE Time : 0.0 sec. user=mdettweiler [2016-06-23 17:26:15] 977*2^1433328-1 is not prime. Res64: E304DDB16E384840 Time : 0.0 sec. user=mdettweiler [2016-06-23 17:26:28] 609*2^1433329-1 is not prime. Res64: D5BBB7461B42186A Time : 0.0 sec. user=mdettweiler [2016-06-23 17:26:28] 615*2^1433329-1 is not prime. Res64: 4BA6759F32B1BB51 Time : 0.0 sec. user=mdettweiler [2016-06-23 17:26:29] 705*2^1433329-1 is not prime. Res64: E0FEFC1BB4E822ED Time : 0.0 sec. user=mdettweiler [2016-06-23 17:26:29] 885*2^1433329-1 is not prime. Res64: A0F2646636D8049A Time : 0.0 sec. user=mdettweiler [2016-06-23 17:26:30] 945*2^1433329-1 is not prime. Res64: 99C262D7F52E0816 Time : 0.0 sec. user=mdettweiler [2016-06-23 17:34:12] 967*2^1433329-1 is not prime. Res64: B9D20668106C9625 Time : 0.0 sec. user=mdettweiler [2016-06-23 17:34:13] 657*2^1433330-1 is not prime. Res64: 8E9BAAB57262B902 Time : 0.0 sec. user=mdettweiler [2016-06-23 17:34:13] 711*2^1433330-1 is not prime. Res64: 41EDA69B80342E9C Time : 0.0 sec. user=mdettweiler [2016-06-23 17:34:14] 717*2^1433330-1 is not prime. Res64: 11631BC48099E79C Time : 0.0 sec. user=mdettweiler [2016-06-23 17:34:14] 827*2^1433330-1 is not prime. Res64: F31DEDB223C89EB6 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:01:56] 851*2^1433330-1 is not prime. Res64: 4A4829773427E436 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:02:01] 911*2^1433330-1 is not prime. Res64: 44585AA201A8773B Time : 0.0 sec. user=mdettweiler [2016-06-23 18:02:07] 921*2^1433330-1 is not prime. Res64: EC039B1FB5EE7F16 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:02:12] 995*2^1433330-1 is not prime. Res64: 49E24F3E6C63151C Time : 0.0 sec. user=mdettweiler [2016-06-23 18:02:13] 615*2^1433331-1 is not prime. Res64: DFD6A5EDA34F6A48 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:10:45] 685*2^1433331-1 is not prime. Res64: 37E40E2942CD43E8 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:10:46] 781*2^1433331-1 is not prime. Res64: FFDD3B2FB06CE3A9 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:10:46] 795*2^1433331-1 is not prime. Res64: 3DB1E417E407857F Time : 0.0 sec. user=mdettweiler [2016-06-23 18:10:47] 961*2^1433331-1 is not prime. Res64: 43649CA85B7621F8 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:10:47] 973*2^1433331-1 is not prime. Res64: 033153A244EEA698 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:10:54] 603*2^1433332-1 is not prime. Res64: F84723FCD284E7CF Time : 0.0 sec. user=mdettweiler [2016-06-23 18:10:55] 615*2^1433332-1 is not prime. Res64: 09FF708E6CF8F6C7 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:10:55] 665*2^1433332-1 is not prime. Res64: 5F53DD13F595FB7E Time : 0.0 sec. user=mdettweiler [2016-06-23 18:10:56] 825*2^1433332-1 is not prime. Res64: 1D8BF14D93F4DB45 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:10:56] 873*2^1433332-1 is not prime. Res64: F09177A1E9233366 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:18:38] 897*2^1433332-1 is not prime. Res64: 7EEE9911A3B4396D Time : 0.0 sec. user=mdettweiler [2016-06-23 18:18:38] 615*2^1433333-1 is not prime. Res64: 9B22A19777B4DDC3 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:18:39] 631*2^1433333-1 is not prime. Res64: 0BCDA7021594A217 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:18:39] 769*2^1433333-1 is not prime. Res64: 9D96E5B176B6C190 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:18:40] 939*2^1433333-1 is not prime. Res64: F10E5BCEFF4D7500 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:46:28] 635*2^1433334-1 is not prime. Res64: 6C3CF93834A795E9 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:46:28] 711*2^1433334-1 is not prime. Res64: B2B5E349675DD285 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:46:29] 723*2^1433334-1 is not prime. Res64: CC6576604EC564F1 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:46:29] 885*2^1433334-1 is not prime. Res64: 49D12F431414DA5F Time : 0.0 sec. user=mdettweiler [2016-06-23 18:46:30] 971*2^1433334-1 is not prime. Res64: 18D229B7AB33086C Time : 0.0 sec. user=mdettweiler [2016-06-23 18:54:55] 625*2^1433335-1 is not prime. Res64: 72E68563E24F8570 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:54:55] 639*2^1433335-1 is not prime. Res64: F1293FB4DF74A28E Time : 0.0 sec. user=mdettweiler [2016-06-23 18:54:56] 645*2^1433335-1 is not prime. Res64: 5ABCA8C4E9BC9FF8 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:54:56] 715*2^1433335-1 is not prime. Res64: AB945B31102D4C3A Time : 0.0 sec. user=mdettweiler [2016-06-23 18:54:57] 741*2^1433335-1 is not prime. Res64: 7DC8CCBBF4490ED2 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:55:18] 763*2^1433335-1 is not prime. Res64: 8FA069ADA87B19AF Time : 0.0 sec. user=mdettweiler [2016-06-23 18:55:18] 771*2^1433335-1 is not prime. Res64: 0EE524D99E0645D8 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:55:19] 841*2^1433335-1 is not prime. Res64: A30DB0B8BB957DA2 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:55:19] 853*2^1433335-1 is not prime. Res64: AADD2FEE0721B9B4 Time : 0.0 sec. user=mdettweiler [2016-06-23 18:55:20] 861*2^1433335-1 is not prime. Res64: 16A7831B7D3478EC Time : 0.0 sec. user=mdettweiler [2016-06-23 19:03:01] 933*2^1433335-1 is not prime. Res64: EBD7B5730EB89F3B Time : 0.0 sec. user=mdettweiler [2016-06-23 19:03:06] 973*2^1433335-1 is not prime. Res64: C7E0B1E71DD10FE4 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:03:10] 603*2^1433336-1 is not prime. Res64: CF81F65140068959 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:03:15] 659*2^1433336-1 is not prime. Res64: 530CB9BC7B2DF7FD Time : 0.0 sec. user=mdettweiler [2016-06-23 19:03:19] 759*2^1433336-1 is not prime. Res64: 222C8E5498BF383C Time : 0.0 sec. user=mdettweiler [2016-06-23 19:30:41] 855*2^1433336-1 is not prime. Res64: 660AF8E8EA131270 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:30:45] 869*2^1433336-1 is not prime. Res64: 760784FDB28C1030 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:30:49] 875*2^1433336-1 is not prime. Res64: 08C6364F1A910B06 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:30:53] 899*2^1433336-1 is not prime. Res64: 5E419D3D6A609C78 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:30:57] 999*2^1433336-1 is not prime. Res64: DA9F76133A859EB5 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:39:12] 727*2^1433337-1 is not prime. Res64: 45E8E8F1F6C7677D Time : 0.0 sec. user=mdettweiler [2016-06-23 19:39:19] 747*2^1433337-1 is not prime. Res64: CCE093B9C299840F Time : 0.0 sec. user=mdettweiler [2016-06-23 19:39:26] 807*2^1433337-1 is not prime. Res64: B8C6E0673AEE54F5 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:39:32] 889*2^1433337-1 is not prime. Res64: FBA17F43F2C4CB00 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:39:39] 895*2^1433337-1 is not prime. Res64: E2DDA51B2227DCFC Time : 0.0 sec. user=mdettweiler [2016-06-23 19:39:45] 949*2^1433337-1 is not prime. Res64: 08E9D4D6754FD138 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:39:52] 605*2^1433338-1 is not prime. Res64: 48238AD69651589C Time : 0.0 sec. user=mdettweiler [2016-06-23 19:39:59] 623*2^1433338-1 is not prime. Res64: 0A48B405E67F73A3 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:40:05] 857*2^1433338-1 is not prime. Res64: AC20B0DD1F9F6ED4 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:40:12] 881*2^1433338-1 is not prime. Res64: 5BD56955B6E0797A Time : 0.0 sec. user=mdettweiler [2016-06-23 19:47:47] 891*2^1433338-1 is not prime. Res64: 7B675D6103D230FF Time : 0.0 sec. user=mdettweiler [2016-06-23 19:47:47] 933*2^1433338-1 is not prime. Res64: 20B5C1C9CBFB21E0 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:47:48] 957*2^1433338-1 is not prime. Res64: 8E715F2DC9A797B3 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:47:48] 975*2^1433338-1 is not prime. Res64: 0A943FFE5693E867 Time : 0.0 sec. user=mdettweiler [2016-06-23 19:47:49] 1001*2^1433338-1 is not prime. Res64: 14D5C7D493A3697E Time : 0.0 sec. user=mdettweiler [2016-06-23 20:15:15] 775*2^1433339-1 is not prime. Res64: 9E3BE122342A31A7 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:15:20] 859*2^1433339-1 is not prime. Res64: FDED59952DF905B1 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:15:27] 909*2^1433339-1 is not prime. Res64: E6C2FA5B6DCD868D Time : 0.0 sec. user=mdettweiler [2016-06-23 20:15:33] 931*2^1433339-1 is not prime. Res64: D4B2F7763C3282CA Time : 0.0 sec. user=mdettweiler [2016-06-23 20:15:39] 943*2^1433339-1 is not prime. Res64: 562F0930019A63DD Time : 0.0 sec. user=mdettweiler [2016-06-23 20:24:05] 991*2^1433339-1 is not prime. Res64: 8AA38414CF9B9DF1 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:24:12] 635*2^1433340-1 is not prime. Res64: 9BFA28155395F351 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:24:19] 653*2^1433340-1 is not prime. Res64: C92C210DB9EFBB88 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:24:26] 689*2^1433340-1 is not prime. Res64: 3006648EBC41F11B Time : 0.0 sec. user=mdettweiler [2016-06-23 20:24:33] 717*2^1433340-1 is not prime. Res64: 7AF34168E7D7B646 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:24:39] 797*2^1433340-1 is not prime. Res64: 81B0031BB1E4E931 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:24:46] 843*2^1433340-1 is not prime. Res64: ECC351FADC84F897 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:24:53] 957*2^1433340-1 is not prime. Res64: 067D13E1292F1CCA Time : 0.0 sec. user=mdettweiler [2016-06-23 20:25:00] 983*2^1433340-1 is not prime. Res64: 1FAA22FE1C678643 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:25:00] 999*2^1433340-1 is not prime. Res64: 591E642F2910CD24 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:32:03] 717*2^1433341-1 is not prime. Res64: B2179FCE1C7A1F15 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:32:03] 745*2^1433341-1 is not prime. Res64: 0BDC2D9DD11B5271 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:32:04] 769*2^1433341-1 is not prime. Res64: F1022BB5C9FBD2B8 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:32:04] 771*2^1433341-1 is not prime. Res64: 0324758490BCD822 Time : 0.0 sec. user=mdettweiler [2016-06-23 20:32:05] 775*2^1433341-1 is not prime. Res64: 5BFDF9A005AC2E76 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:00:19] 825*2^1433341-1 is not prime. Res64: D8C19F4C16825639 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:00:26] 855*2^1433341-1 is not prime. Res64: 3A9BF2318B7155EF Time : 0.0 sec. user=mdettweiler [2016-06-23 21:00:33] 791*2^1433342-1 is not prime. Res64: B2C9823BC0E74965 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:00:40] 875*2^1433342-1 is not prime. Res64: 488126C241353C64 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:00:46] 921*2^1433342-1 is not prime. Res64: 8CCE2BE8BC765AF3 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:09:00] 923*2^1433342-1 is not prime. Res64: E9D055B2988B7C1C Time : 0.0 sec. user=mdettweiler [2016-06-23 21:09:00] 935*2^1433342-1 is not prime. Res64: B8E041FE86FFFF0A Time : 0.0 sec. user=mdettweiler [2016-06-23 21:09:01] 945*2^1433342-1 is not prime. Res64: D43270D9E5AE35B2 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:09:01] 615*2^1433343-1 is not prime. Res64: 4843FE6954355CA3 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:09:02] 769*2^1433343-1 is not prime. Res64: 4779634FF5FFBBBC Time : 0.0 sec. user=mdettweiler [2016-06-23 21:09:35] 789*2^1433343-1 is not prime. Res64: E44115A8BA91DC90 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:09:36] 831*2^1433343-1 is not prime. Res64: F7BC8DA9F688782D Time : 0.0 sec. user=mdettweiler [2016-06-23 21:09:36] 861*2^1433343-1 is not prime. Res64: EE06A0CA56C1B2C2 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:09:37] 919*2^1433343-1 is not prime. Res64: 82A7CF637BFAD10F Time : 0.0 sec. user=mdettweiler [2016-06-23 21:09:37] 985*2^1433343-1 is not prime. Res64: 1A805158319F4962 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:16:31] 639*2^1433344-1 is not prime. Res64: 90DDF64C89F9FA8E Time : 0.0 sec. user=mdettweiler [2016-06-23 21:16:31] 717*2^1433344-1 is not prime. Res64: 8F9288A7A1CC4AE2 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:16:32] 755*2^1433344-1 is not prime. Res64: 4FE847669E851FBF Time : 0.0 sec. user=mdettweiler [2016-06-23 21:16:32] 993*2^1433344-1 is not prime. Res64: BCDD5581FBAB3C88 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:16:33] 619*2^1433345-1 is not prime. Res64: E09BB23E223E4621 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:45:10] 699*2^1433345-1 is not prime. Res64: C21319A7BE105698 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:45:10] 727*2^1433345-1 is not prime. Res64: 734A9BDFFEF2744F Time : 0.0 sec. user=mdettweiler [2016-06-23 21:45:11] 795*2^1433345-1 is not prime. Res64: CCB1520475297829 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:45:11] 951*2^1433345-1 is not prime. Res64: 195FB6EABC607738 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:45:12] 969*2^1433345-1 is not prime. Res64: 55FA3E9F33DA3C4A Time : 0.0 sec. user=mdettweiler [2016-06-23 21:53:17] 713*2^1433346-1 is not prime. Res64: BAE56D553F3B61AB Time : 0.0 sec. user=mdettweiler [2016-06-23 21:53:17] 783*2^1433346-1 is not prime. Res64: E1768063AF6FDEDD Time : 0.0 sec. user=mdettweiler [2016-06-23 21:53:18] 851*2^1433346-1 is not prime. Res64: D317CD0F8C4C1C28 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:53:18] 933*2^1433346-1 is not prime. Res64: 2EB41C5EDB5203D7 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:53:19] 633*2^1433347-1 is not prime. Res64: 901EFB16E8BC90F7 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:53:48] 645*2^1433347-1 is not prime. Res64: 01168D1AD7FB4BB1 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:53:48] 681*2^1433347-1 is not prime. Res64: 772A2A3FBC559162 Time : 0.0 sec. user=mdettweiler [2016-06-23 21:53:49] 741*2^1433347-1 is not prime. Res64: F1281F682683EEEB Time : 0.0 sec. user=mdettweiler [2016-06-23 21:53:49] 919*2^1433347-1 is not prime. Res64: 151670D6B86C4A6F Time : 0.0 sec. user=mdettweiler [2016-06-23 21:53:50] 617*2^1433348-1 is not prime. Res64: 122769B8348D5C13 Time : 0.0 sec. user=mdettweiler [2016-06-23 22:00:56] 875*2^1433348-1 is not prime. Res64: B2BDE9AF66422DCA Time : 0.0 sec. user=mdettweiler [2016-06-23 22:01:02] 879*2^1433348-1 is not prime. Res64: AF4E98E22A11FBFC Time : 0.0 sec. user=mdettweiler [2016-06-23 22:01:09] 935*2^1433348-1 is not prime. Res64: 07E842F302E877BA Time : 0.0 sec. user=mdettweiler [2016-06-23 22:01:15] 969*2^1433348-1 is not prime. Res64: 93466F5D90A7649D Time : 0.0 sec. user=mdettweiler [2016-06-23 22:01:21] 669*2^1433349-1 is not prime. Res64: BE0DE92976E79CDA Time : 0.0 sec. user=mdettweiler [2016-06-23 22:29:25] 727*2^1433349-1 is not prime. Res64: 7C6E17124C6E2915 Time : 0.0 sec. user=mdettweiler [2016-06-23 22:29:26] 817*2^1433349-1 is not prime. Res64: 971BB648D5529B2A Time : 0.0 sec. user=mdettweiler [2016-06-23 22:29:26] 847*2^1433349-1 is not prime. Res64: AC8BD72E3DC62EE3 Time : 0.0 sec. user=mdettweiler [2016-06-23 22:29:27] 951*2^1433349-1 is not prime. Res64: A8D03C5E7EB3310C Time : 0.0 sec. user=mdettweiler [2016-06-23 22:29:28] 985*2^1433349-1 is not prime. Res64: 098221DD8F398918 Time : 0.0 sec. user=mdettweiler [2016-06-23 22:37:45] 635*2^1433350-1 is not prime. Res64: 9ABAE97606490EBD Time : 0.0 sec. user=mdettweiler [2016-06-23 22:37:49] 657*2^1433350-1 is not prime. Res64: 399704B27B25EBFA Time : 0.0 sec. user=mdettweiler [2016-06-23 22:37:53] 677*2^1433350-1 is not prime. Res64: 19CA583012CD4BDB Time : 0.0 sec. user=mdettweiler [2016-06-23 22:37:57] 687*2^1433350-1 is not prime. Res64: 85CFAA41658BB9AC Time : 0.0 sec. user=mdettweiler [2016-06-23 22:38:01] 755*2^1433350-1 is not prime. Res64: 942D524E38688111 Time : 0.0 sec. user=mdettweiler [2016-06-23 22:38:37] 825*2^1433350-1 is not prime. Res64: A5B7AC309A4AD647 Time : 0.0 sec. user=mdettweiler [2016-06-23 22:38:37] 831*2^1433350-1 is not prime. Res64: 9100AD8FE3CFCB48 Time : 0.0 sec. user=mdettweiler [2016-06-23 22:38:44] 843*2^1433350-1 is not prime. Res64: CFCC241672F42983 Time : 0.0 sec. user=mdettweiler [2016-06-23 22:38:44] 855*2^1433350-1 is not prime. Res64: 989F4C701F2E508C Time : 0.0 sec. user=mdettweiler [2016-06-23 22:38:50] 995*2^1433350-1 is not prime. Res64: 0CB1FAAC510A1D9C Time : 0.0 sec. user=mdettweiler [2016-06-23 22:47:06] 669*2^1433351-1 is not prime. Res64: C3AE1D88E176A75E Time : 0.0 sec. user=mdettweiler [2016-06-23 22:47:12] 735*2^1433351-1 is not prime. Res64: 6DA8F61BBD32B73C Time : 0.0 sec. user=mdettweiler [2016-06-23 22:47:18] 753*2^1433351-1 is not prime. Res64: 1302E02A25980127 Time : 0.0 sec. user=mdettweiler [2016-06-23 22:47:19] 783*2^1433351-1 is not prime. Res64: 11ABF92D4A0AFF19 Time : 0.0 sec. user=mdettweiler [2016-06-23 22:47:25] 859*2^1433351-1 is not prime. Res64: DF3311BC1141752C Time : 0.0 sec. user=mdettweiler [2016-06-23 23:16:14] 981*2^1433351-1 is not prime. Res64: 593E855FF48115BB Time : 0.0 sec. user=mdettweiler [2016-06-23 23:16:21] 737*2^1433352-1 is not prime. Res64: 634954F7FDE0628F Time : 0.0 sec. user=mdettweiler [2016-06-23 23:16:26] 779*2^1433352-1 is not prime. Res64: 12E8BA704498A041 Time : 0.0 sec. user=mdettweiler [2016-06-23 23:16:32] 849*2^1433352-1 is not prime. Res64: F47241CE3BBED421 Time : 0.0 sec. user=mdettweiler [2016-06-23 23:16:32] 899*2^1433352-1 is not prime. Res64: 12F46AF913450ED4 Time : 0.0 sec. user=mdettweiler [2016-06-23 23:25:55] 937*2^1433353-1 is not prime. Res64: 96E49AA451A25B8A Time : 0.0 sec. user=mdettweiler [2016-06-23 23:26:02] 955*2^1433353-1 is not prime. Res64: 10E37C889E9E2278 Time : 0.0 sec. user=mdettweiler [2016-06-23 23:26:02] 999*2^1433353-1 is not prime. Res64: 036B4838AC83D22C Time : 0.0 sec. user=mdettweiler [2016-06-23 23:26:09] 767*2^1433354-1 is not prime. Res64: CA2508B70C624D56 Time : 0.0 sec. user=mdettweiler [2016-06-23 23:26:15] 785*2^1433354-1 is not prime. Res64: 425CA16EB5D0125F Time : 0.0 sec. user=mdettweiler [2016-06-23 23:35:27] 995*2^1433354-1 is not prime. Res64: B38A34FA5B841A7D Time : 0.0 sec. user=mdettweiler [2016-06-23 23:35:27] 685*2^1433355-1 is not prime. Res64: 8C3F234A6B921F26 Time : 0.0 sec. user=mdettweiler [2016-06-23 23:35:27] 765*2^1433355-1 is not prime. Res64: 627050A50331716D Time : 0.0 sec. user=mdettweiler [2016-06-23 23:35:27] 775*2^1433355-1 is not prime. Res64: F036DAA71A843E3E Time : 0.0 sec. user=mdettweiler [2016-06-23 23:35:28] 795*2^1433355-1 is not prime. Res64: 51C6C2AAE270C74C Time : 0.0 sec.